Fix failing tests, remove unnecessary NONE bitflag

This commit is contained in:
Sam Mohr 2025-01-19 15:33:01 -08:00
parent ec23cc56ea
commit 3a6c622727
No known key found for this signature in database
GPG key ID: EA41D161A3C1BC99
4 changed files with 18 additions and 15 deletions

View file

@ -24,7 +24,7 @@ succeed = \x -> Identity(x)
with_default = Res.with_default
yay : Res.Res {} err
yay : Res.Res {} _
yay =
ok = Ok("foo")

View file

@ -24,7 +24,7 @@ succeed = \x -> Identity(x)
with_default = Res.with_default
yay : Res.Res {} err
yay : Res.Res {} _
yay =
ok = Ok("foo")

View file

@ -271,11 +271,13 @@ fn load_fixture(
);
}
assert!(loaded_module
.type_problems
.remove(&home)
.unwrap_or_default()
.is_empty());
assert_eq!(
loaded_module
.type_problems
.remove(&home)
.unwrap_or_default(),
Vec::new()
);
let expected_name = loaded_module
.interns
@ -433,11 +435,13 @@ fn module_with_deps() {
loaded_module.can_problems.remove(&home).unwrap_or_default(),
Vec::new()
);
assert!(loaded_module
.type_problems
.remove(&home)
.unwrap_or_default()
.is_empty(),);
assert_eq!(
loaded_module
.type_problems
.remove(&home)
.unwrap_or_default(),
Vec::new()
);
let mut def_count = 0;
let declarations = loaded_module.declarations_by_id.remove(&home).unwrap();