Avoid an unwrap

oli-obk · oli-obk · commit 1959ef4a9328 · 2023-07-24T08:27:49.000Z
diff --git a/crates/formality-prove/src/prove/prove_wc.rs b/crates/formality-prove/src/prove/prove_wc.rs
@@ -116,8 +116,8 @@ judgment_fn! {
         )
 
         (
-            (if ct.as_value().is_some())
-            (prove(decls, env, assumptions, Wcs::all_eq(vec![ct.as_value().unwrap().1], vec![ty])) => c)
+            (if let Some((_, const_ty)) = ct.as_value())
+            (prove(decls, env, assumptions, Wcs::all_eq(vec![const_ty], vec![ty])) => c)
             ----------------------------- ("const has ty")
             (prove_wc(decls, env, assumptions, Predicate::ConstHasType(ct, ty)) => c)
         )

Original file line number	Diff line number	Diff line change
`@@ -116,8 +116,8 @@ judgment_fn! {`
`116`	`116`	`)`
`117`	`117`
`118`	`118`	`(`
`119`		`- (if ct.as_value().is_some())`
`120`		`- (prove(decls, env, assumptions, Wcs::all_eq(vec![ct.as_value().unwrap().1], vec![ty])) => c)`
	`119`	`+ (if let Some((_, const_ty)) = ct.as_value())`
	`120`	`+ (prove(decls, env, assumptions, Wcs::all_eq(vec![const_ty], vec![ty])) => c)`
`121`	`121`	`----------------------------- ("const has ty")`
`122`	`122`	`(prove_wc(decls, env, assumptions, Predicate::ConstHasType(ct, ty)) => c)`
`123`	`123`	`)`