diff options
author | Daniël van Noord <13665637+DanielNoord@users.noreply.github.com> | 2022-04-17 20:55:41 +0200 |
---|---|---|
committer | Daniël van Noord <13665637+DanielNoord@users.noreply.github.com> | 2022-04-17 21:12:28 +0200 |
commit | 2972a48758a27f6c98623a69e69bcde19d4dda02 (patch) | |
tree | 97058d3e8ac90c42124357d120515a07b16a70e9 /pylint/config | |
parent | 9a7ad6d768eb39a99390fcdfac95e676e2fae0ba (diff) | |
download | pylint-git-2972a48758a27f6c98623a69e69bcde19d4dda02.tar.gz |
Add remaining typing to ``pylint/utils``
Diffstat (limited to 'pylint/config')
-rw-r--r-- | pylint/config/option_manager_mixin.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/pylint/config/option_manager_mixin.py b/pylint/config/option_manager_mixin.py index acb256bef..09f709870 100644 --- a/pylint/config/option_manager_mixin.py +++ b/pylint/config/option_manager_mixin.py @@ -13,11 +13,12 @@ import os import sys import warnings from pathlib import Path -from typing import TextIO +from typing import Any, TextIO from pylint import utils from pylint.config.option import Option from pylint.config.option_parser import OptionParser +from pylint.typing import OptionDict if sys.version_info >= (3, 11): import tomllib @@ -197,7 +198,7 @@ class OptionsManagerMixIn: """Write a configuration file according to the current configuration into the given stream or stdout """ - options_by_section: dict[str, list[tuple]] = {} + options_by_section: dict[str, list[tuple[str, OptionDict, Any]]] = {} sections = [] for provider in self.options_providers: for section, options in provider.options_by_section(): |