This commit is contained in:
Douglas Creager 2025-11-23 14:08:12 -05:00
parent 2d301b63bb
commit fe19d2de21
1 changed files with 0 additions and 7 deletions

View File

@ -1784,13 +1784,6 @@ impl<'db> Type<'db> {
{
ConstraintSet::from(true)
}
(Type::TypeVar(lhs_bound_typevar), Type::TypeVar(rhs_bound_typevar))
if relation.is_assignability()
&& lhs_bound_typevar.typevar(db).identity(db)
== rhs_bound_typevar.typevar(db).identity(db) =>
{
ConstraintSet::from(true)
}
// Typevars with non-fully-static bounds or constraints do not participate in
// subtyping while they are in a non-inferable position.