Merge pull request #61 from metaborg/dwf-output-wrapper/associated-type

Binding
metaborg · Oct 23, 2024 · 6790225 · 6790225
2 parents f62226c + 658736a
commit 6790225
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/scopegraphs/src/resolve/lookup.rs b/scopegraphs/src/resolve/lookup.rs
@@ -473,13 +473,12 @@ mod tests {
             let_lex.close();
             let_def.close();
 
-            let env = scope_graph
+            let query = scope_graph
                 .query()
                 .with_path_wellformedness(query_regex!(Lbl: Lex* Imp? Def))
                 .with_data_wellformedness(TData::matcher_fut("x"))
-                .with_label_order(label_order!(Lbl: Def < Imp < Lex))
-                .resolve(s_let)
-                .await;
+                .with_label_order(label_order!(Lbl: Def < Imp < Lex));
+            let env = query.resolve(s_let).await;
 
             let env_vec = env.into_iter().collect::<Vec<_>>();
             assert_eq!(1, env_vec.len());