This commit is contained in:
Douglas Creager
2026-01-05 16:20:40 -05:00
parent 61aafffab5
commit 2c95befaff

View File

@@ -1672,7 +1672,7 @@ impl<'db> SpecializationBuilder<'db> {
let upper = IntersectionType::from_elements(
self.db,
std::iter::chain(bounds.upper, [bound]),
bounds.upper.into_iter().chain([bound]),
);
if upper != bound {
self.add_type_mapping(bound_typevar, upper, variance, &mut f);