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 06aed22 commit 486ccf6Copy full SHA for 486ccf6
crates/ty_python_semantic/src/types.rs
@@ -7013,8 +7013,7 @@ impl<'db> KnownInstanceType<'db> {
7013
tracked_set.constraints(self.db).display(self.db)
7014
);
7015
if let Some(vs) = tracked_set.valid_specializations(self.db) {
7016
- let combined = (vs.clone())
7017
- .implies(self.db, || tracked_set.constraints(self.db).clone());
+ let combined = tracked_set.constraints(self.db).and(self.db, || *vs);
7018
eprintln!("==> valid specs {}", vs.display(self.db));
7019
eprintln!("==> combined {}", combined.display(self.db));
7020
}
0 commit comments