format, really?!?!

This commit is contained in:
Douglas Creager 2025-12-04 09:55:08 -05:00
parent 3384392747
commit 8c7e20abd6
1 changed files with 1 additions and 5 deletions

View File

@ -1909,11 +1909,7 @@ impl<'db> Type<'db> {
/// This uses `TypeRelation::ConstraintSetAssignability`, which encodes typevar relations into
/// a constraint set and lets `satisfied_by_all_typevars` perform existential vs universal
/// reasoning depending on inferable typevars.
pub fn is_constraint_set_assignable_to(
self,
db: &'db dyn Db,
target: Type<'db>,
) -> bool {
pub fn is_constraint_set_assignable_to(self, db: &'db dyn Db, target: Type<'db>) -> bool {
self.when_constraint_set_assignable_to(db, target, InferableTypeVars::None)
.is_always_satisfied(db)
}