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 3511b7a commit 10de342Copy full SHA for 10de342
crates/ty_python_semantic/src/types.rs
@@ -10154,6 +10154,7 @@ impl<'db> TypeVarBoundOrConstraints<'db> {
10154
.zip(prev_elements.iter())
10155
.map(|(ty, prev_ty)| ty.cycle_normalized(db, *prev_ty, cycle))
10156
.collect::<Box<_>>(),
10157
+ constraints.recursively_defined(db),
10158
))
10159
}
10160
// The choice of whether it's an upper bound or constraints is purely syntactic and
@@ -10181,6 +10182,7 @@ impl<'db> TypeVarBoundOrConstraints<'db> {
10181
10182
.iter()
10183
.map(|ty| ty.recursive_type_normalized(db, cycle))
10184
10185
10186
10187
10188
0 commit comments