We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d497734 commit cfa122aCopy full SHA for cfa122a
crates/red_knot_python_semantic/src/types.rs
@@ -618,7 +618,7 @@ impl<'db> Type<'db> {
618
// Two equivalent types are always subtypes of each other.
619
//
620
// "Equivalent to" here means that the two types are both fully static
621
- // and point to exactly the same set of possible runtime objects.
+ // and describe exactly the same set of possible runtime objects.
622
// For example, `int` is a subtype of `int` because `int` and `int` are equivalent to each other.
623
// Equally, `type[object]` is a subtype of `type`,
624
// because the former type expresses "all subclasses of `object`"
0 commit comments