Merge branch 'main' into lower-module-params

This commit is contained in:
Agus Zubiaga 2024-08-28 08:50:40 -03:00 committed by GitHub
commit 287a8fa2e7
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
97 changed files with 1475 additions and 842 deletions

View file

@ -363,7 +363,15 @@ pub fn canonicalize_module_defs<'a>(
// operators, and then again on *their* nested operators, ultimately applying the
// rules multiple times unnecessarily.
crate::desugar::desugar_defs_node_values(arena, loc_defs, src, &mut None, module_path, true);
crate::desugar::desugar_defs_node_values(
arena,
loc_defs,
src,
&mut None,
module_path,
true,
&mut env.problems,
);
let mut rigid_variables = RigidVariables::default();