PR: s/open()/peek()/

shua · shua · commit 8b5e7a293623 · 2024-07-01T18:01:35.000+02:00
diff --git a/crates/formality-check/src/adts.rs b/crates/formality-check/src/adts.rs
@@ -11,7 +11,7 @@ impl super::Check<'_> {
 
         // names is used to check that there are no name conflicts
         let mut names = HashSet::new();
-        for Variant { name, fields } in &adt.binder.open().1.variants {
+        for Variant { name, fields } in &adt.binder.peek().variants {
             if !names.insert((name, None)) {
                 bail!("variant \"{name:?}\" defined multiple times");
             }

Original file line number	Diff line number	Diff line change
`@@ -11,7 +11,7 @@ impl super::Check<'_> {`
`11`	`11`
`12`	`12`	`// names is used to check that there are no name conflicts`
`13`	`13`	`let mut names = HashSet::new();`
`14`		`- for Variant { name, fields } in &adt.binder.open().1.variants {`
	`14`	`+ for Variant { name, fields } in &adt.binder.peek().variants {`
`15`	`15`	`if !names.insert((name, None)) {`
`16`	`16`	`bail!("variant \"{name:?}\" defined multiple times");`
`17`	`17`	`}`