remove extra &

Niko Matsakis · Niko Matsakis · commit 316adb58de17 · 2025-02-24T20:48:56.000Z
diff --git a/crates/formality-prove/src/prove/prove_wc.rs b/crates/formality-prove/src/prove/prove_wc.rs
@@ -107,7 +107,7 @@ judgment_fn! {
 
         (
             (for_all(&decls, &env, &assumptions, &trait_ref.parameters, &prove_wf) => c)
-            (let t = &decls.trait_decl(&trait_ref.trait_id))
+            (let t = decls.trait_decl(&trait_ref.trait_id))
             (let t = t.binder.instantiate_with(&trait_ref.parameters).unwrap())
             (prove_after(&decls, c, &assumptions, t.where_clause) => c)
             ----------------------------- ("trait well formed")

Original file line number	Diff line number	Diff line change
`@@ -107,7 +107,7 @@ judgment_fn! {`
`107`	`107`
`108`	`108`	`(`
`109`	`109`	`(for_all(&decls, &env, &assumptions, &trait_ref.parameters, &prove_wf) => c)`
`110`		`- (let t = &decls.trait_decl(&trait_ref.trait_id))`
	`110`	`+ (let t = decls.trait_decl(&trait_ref.trait_id))`
`111`	`111`	`(let t = t.binder.instantiate_with(&trait_ref.parameters).unwrap())`
`112`	`112`	`(prove_after(&decls, c, &assumptions, t.where_clause) => c)`
`113`	`113`	`----------------------------- ("trait well formed")`