generated from amazon-archives/__template_Apache-2.0
-
Notifications
You must be signed in to change notification settings - Fork 129
Open
Labels
[C] BugThis is a bug. Something isn't working.This is a bug. Something isn't working.
Description
In checking a projections type, we have this comment:
fn check_expr_typ_mismatch(
expr: &Expr,
typ: &TypeOrVariant<'tcx>,
ctx: &mut GotocCtx<'tcx>,
) -> Option<(Type, Type)> {
match typ {
TypeOrVariant::Type(t) => {
let expr_ty = expr.typ().clone();
let type_from_mir = ctx.codegen_ty(t);
if expr_ty != type_from_mir { Some((expr_ty, type_from_mir)) } else { None }
}
// TODO: handle Variant
TypeOrVariant::Variant(_) => None,
}
}Creating a tracking issue for the variant case.
Metadata
Metadata
Assignees
Labels
[C] BugThis is a bug. Something isn't working.This is a bug. Something isn't working.