Intersect qualifiers when merging unions

This commit is contained in:
David Peter 2025-08-28 09:27:28 +02:00
parent 18eaa659c1
commit 7c605221c0
1 changed files with 1 additions and 1 deletions

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;