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 b9066cf commit 8951d9bCopy full SHA for 8951d9b
crates/red_knot_python_semantic/src/types.rs
@@ -616,7 +616,7 @@ impl<'db> Type<'db> {
616
// Two equivalent types are always subtypes of each other.
617
//
618
// "Equivalent to" here means that the two types are both fully static
619
- // and point to exactly the same set of possible runtime objects.
+ // and describe exactly the same set of possible runtime objects.
620
// For example, `int` is a subtype of `int` because `int` and `int` are equivalent to each other.
621
// Equally, `type[object]` is a subtype of `type`,
622
// because the former type expresses "all subclasses of `object`"
0 commit comments