fix bug

AlexWaygood · AlexWaygood · commit 8551a322b4e4 · 2025-04-25T14:14:22.000+01:00
diff --git a/crates/red_knot_python_semantic/src/types/instance.rs b/crates/red_knot_python_semantic/src/types/instance.rs
@@ -170,7 +170,7 @@ impl<'db> ProtocolInstanceType<'db> {
     /// TODO: consider the types of the members as well as their existence
     pub(super) fn is_subtype_of(self, db: &'db dyn Db, other: Self) -> bool {
         self.protocol_members(db)
-            .is_subset(other.protocol_members(db))
+            .is_superset(other.protocol_members(db))
     }
 
     /// TODO: consider the types of the members as well as their existence

Original file line number	Diff line number	Diff line change
`@@ -170,7 +170,7 @@ impl<'db> ProtocolInstanceType<'db> {`
`170`	`170`	`/// TODO: consider the types of the members as well as their existence`
`171`	`171`	`pub(super) fn is_subtype_of(self, db: &'db dyn Db, other: Self) -> bool {`
`172`	`172`	`self.protocol_members(db)`
`173`		`- .is_subset(other.protocol_members(db))`
	`173`	`+ .is_superset(other.protocol_members(db))`
`174`	`174`	`}`
`175`	`175`
`176`	`176`	`/// TODO: consider the types of the members as well as their existence`