prove_wc: rename the rule for well-formed parameters

mattheww · mattheww · commit 86c67bb86aca · 2023-09-09T21:05:08.000+01:00
diff --git a/crates/formality-prove/src/prove/prove_wc.rs b/crates/formality-prove/src/prove/prove_wc.rs
@@ -111,7 +111,7 @@ judgment_fn! {
 
         (
             (prove_wf(decls, env, assumptions, p) => c)
-            ----------------------------- ("trait ref is local")
+            ----------------------------- ("parameter well formed")
             (prove_wc(decls, env, assumptions, Relation::WellFormed(p)) => c)
         )
 

Original file line number	Diff line number	Diff line change
`@@ -111,7 +111,7 @@ judgment_fn! {`
`111`	`111`
`112`	`112`	`(`
`113`	`113`	`(prove_wf(decls, env, assumptions, p) => c)`
`114`		`- ----------------------------- ("trait ref is local")`
	`114`	`+ ----------------------------- ("parameter well formed")`
`115`	`115`	`(prove_wc(decls, env, assumptions, Relation::WellFormed(p)) => c)`
`116`	`116`	`)`
`117`	`117`