diff options
| author | Šarūnas Nejus <snejus@protonmail.com> | 2024-04-30 12:59:59 +0100 |
|---|---|---|
| committer | Šarūnas Nejus <snejus@protonmail.com> | 2024-04-30 22:20:37 +0100 |
| commit | b5e98b59f22f1bcef77d1a8226f4abb862429881 (patch) | |
| tree | efe6ad8773e901407213cd7de613ec9762614746 | |
| parent | 7d636d8f22659e99a08e56fbf047db07415d9490 (diff) | |
Configure mypy to require types for generics
| -rw-r--r-- | .mypy.ini | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,5 +1,5 @@ [mypy] +allow_any_generics = false # FIXME: Would be better to actually type the libraries (if under our control), # or write our own stubs. For now, silence errors -ignore_missing_imports = True - +ignore_missing_imports = true |