runmat_mir/async_.rs
1use crate::MirOperand;
2use runmat_hir::{Span, SpawnSafetyFact};
3use serde::{Deserialize, Serialize};
4
5#[derive(Debug, Clone, PartialEq, Serialize, Deserialize, Default)]
6pub enum AsyncBehaviorFact {
7 #[default]
8 NeverSuspends,
9 MaySuspend,
10 RequiresAsyncRuntime,
11}
12
13#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
14pub struct SpawnBoundary {
15 pub future: MirOperand,
16 pub safety: SpawnSafetyFact,
17 pub span: Span,
18}