Implement do yeet expression

This commit is contained in:
Maybe Waffle 2022-12-28 23:17:13 +00:00
parent 4a16afa264
commit 346bf5fb5b
9 changed files with 72 additions and 4 deletions

View file

@ -465,6 +465,12 @@ impl<'a> InferenceContext<'a> {
TyKind::Error.intern(Interner)
}
}
Expr::Yeet { expr } => {
if let &Some(expr) = expr {
self.infer_expr_inner(expr, &Expectation::None);
}
TyKind::Never.intern(Interner)
}
Expr::RecordLit { path, fields, spread, .. } => {
let (ty, def_id) = self.resolve_variant(path.as_deref(), false);
if let Some(variant) = def_id {