Always compute runtime annotations for flake8-type-checking rules (#5967)

## Summary

These are skipped as an optimization, but it feels kind of unnecessary
and makes the code a bit more confusing than is worthwhile.
(non-`strict` is also by far the more popular setting, and the default.)
This commit is contained in:
Charlie Marsh 2023-07-21 23:53:33 -04:00 committed by GitHub
parent 86b6a3e1ad
commit 45318d08b7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 23 additions and 31 deletions

View File

@ -4860,26 +4860,22 @@ impl<'a> Checker<'a> {
])
};
let runtime_imports: Vec<Vec<&Binding>> = if enforce_typing_imports {
if self.settings.flake8_type_checking.strict {
vec![]
} else {
self.semantic
.scopes
.iter()
.map(|scope| {
scope
.binding_ids()
.map(|binding_id| self.semantic.binding(binding_id))
.filter(|binding| {
flake8_type_checking::helpers::is_valid_runtime_import(
binding,
&self.semantic,
)
})
.collect()
})
.collect::<Vec<_>>()
}
self.semantic
.scopes
.iter()
.map(|scope| {
scope
.binding_ids()
.map(|binding_id| self.semantic.binding(binding_id))
.filter(|binding| {
flake8_type_checking::helpers::is_valid_runtime_import(
binding,
&self.semantic,
)
})
.collect()
})
.collect::<Vec<_>>()
} else {
vec![]
};
@ -5070,17 +5066,13 @@ impl<'a> Checker<'a> {
ScopeKind::Function(_) | ScopeKind::AsyncFunction(_) | ScopeKind::Module
) {
if enforce_typing_imports {
let runtime_imports: Vec<&Binding> =
if self.settings.flake8_type_checking.strict {
vec![]
} else {
self.semantic
.scopes
.ancestor_ids(scope_id)
.flat_map(|scope_id| runtime_imports[scope_id.as_usize()].iter())
.copied()
.collect()
};
let runtime_imports: Vec<&Binding> = self
.semantic
.scopes
.ancestor_ids(scope_id)
.flat_map(|scope_id| runtime_imports[scope_id.as_usize()].iter())
.copied()
.collect();
if self.enabled(Rule::RuntimeImportInTypeCheckingBlock) {
flake8_type_checking::rules::runtime_import_in_type_checking_block(