Add FIXME

tiif · tiif · commit 62e7f9db4fc9 · 2025-07-29T15:35:55.000+02:00
diff --git a/crates/formality-prove/src/prove/prove_wc.rs b/crates/formality-prove/src/prove/prove_wc.rs
@@ -54,6 +54,7 @@ judgment_fn! {
             (prove_wc(decls, env, assumptions, WcData::Relation(goal)) => c)
         )
 
+        // FIXME: improve the subtype rule after adding lifetime
         (
             (if let Ty(_) = param1.clone())!
             (if let Ty(_) = param2.clone())!

Original file line number	Diff line number	Diff line change
`@@ -54,6 +54,7 @@ judgment_fn! {`
`54`	`54`	`(prove_wc(decls, env, assumptions, WcData::Relation(goal)) => c)`
`55`	`55`	`)`
`56`	`56`
	`57`	`+ // FIXME: improve the subtype rule after adding lifetime`
`57`	`58`	`(`
`58`	`59`	`(if let Ty(_) = param1.clone())!`
`59`	`60`	`(if let Ty(_) = param2.clone())!`