Compare commits

...

1 Commits

Author SHA1 Message Date
David Peter
7c605221c0 Intersect qualifiers when merging unions 2025-08-28 09:27:57 +02:00

View File

@@ -9545,7 +9545,7 @@ impl<'db> UnionType<'db> {
place: ty_member,
qualifiers: new_qualifiers,
} = transform_fn(ty);
qualifiers |= new_qualifiers;
qualifiers &= new_qualifiers;
match ty_member {
Place::Unbound => {
possibly_unbound = true;