pass in relation

Author: dcreager

crates/ty_python_semantic/src/types/generics.rs

@@ -694,7 +694,6 @@ pub(super) fn walk_specialization<'db, V: super::visitor::TypeVisitor<'db> + ?Si
     }
 }
 
-// XXX: take in relation to pass it on
 #[expect(clippy::too_many_arguments)]
 fn is_subtype_in_invariant_position<'db>(
     db: &'db dyn Db,
@@ -703,6 +702,7 @@ fn is_subtype_in_invariant_position<'db>(
     base_type: &Type<'db>,
     base_materialization: MaterializationKind,
     inferable: InferableTypeVars<'_, 'db>,
+    relation: TypeRelation<'db>,
     relation_visitor: &HasRelationToVisitor<'db>,
     disjointness_visitor: &IsDisjointVisitor<'db>,
 ) -> ConstraintSet<'db> {
@@ -728,7 +728,7 @@ fn is_subtype_in_invariant_position<'db>(
             db,
             base,
             inferable,
-            TypeRelation::Subtyping,
+            relation,
             relation_visitor,
             disjointness_visitor,
         )
@@ -795,6 +795,7 @@ fn has_relation_in_invariant_position<'db>(
             base_type,
             base_mat,
             inferable,
+            relation,
             relation_visitor,
             disjointness_visitor,
         ),
@@ -843,6 +844,7 @@ fn has_relation_in_invariant_position<'db>(
             base_type,
             base_mat,
             inferable,
+            relation,
             relation_visitor,
             disjointness_visitor,
         ),
@@ -859,6 +861,7 @@ fn has_relation_in_invariant_position<'db>(
             base_type,
             MaterializationKind::Bottom,
             inferable,
+            relation,
             relation_visitor,
             disjointness_visitor,
         ),
@@ -870,6 +873,7 @@ fn has_relation_in_invariant_position<'db>(
             base_type,
             base_mat,
             inferable,
+            relation,
             relation_visitor,
             disjointness_visitor,
         ),
@@ -880,6 +884,7 @@ fn has_relation_in_invariant_position<'db>(
             base_type,
             MaterializationKind::Top,
             inferable,
+            relation,
             relation_visitor,
             disjointness_visitor,
         ),