Update crates/formality-check/src/mini_rust_check.rs

nikomatsakis · lcnr · web-flow · commit 130f628ed50e · 2025-08-15T16:56:08.000-04:00
Co-authored-by: lcnr &lt;rust@lcnr.de&gt;
diff --git a/crates/formality-check/src/mini_rust_check.rs b/crates/formality-check/src/mini_rust_check.rs
@@ -385,7 +385,7 @@ judgment_fn! {
         // For the rest of the case, it should fail.
 
         (
-            (prove_normalize(&decl, &env, &assumptions, ty) => (c1, p))
+            (prove_normalize(&decl, &env, &assumptions, ty) => (c1, p))!
             (let assumptions = c1.substitution().apply(&assumptions))
             (ty_is_int(&decl, &env, assumptions, p) => c2)
             ----------------------------- ("alias_ty is int")

Original file line number	Diff line number	Diff line change
`@@ -385,7 +385,7 @@ judgment_fn! {`
`385`	`385`	`// For the rest of the case, it should fail.`
`386`	`386`
`387`	`387`	`(`
`388`		`- (prove_normalize(&decl, &env, &assumptions, ty) => (c1, p))`
	`388`	`+ (prove_normalize(&decl, &env, &assumptions, ty) => (c1, p))!`
`389`	`389`	`(let assumptions = c1.substitution().apply(&assumptions))`
`390`	`390`	`(ty_is_int(&decl, &env, assumptions, p) => c2)`
`391`	`391`	`----------------------------- ("alias_ty is int")`