8000 Provide hint when Union type with None may not have been narrowed by angelawuuu · Pull Request #17178 · python/mypy · GitHub
[go: up one dir, main page]
Skip to content

Provide hint when Union type with None may not have been narrowed #17178

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 14 commits into
base: master
Choose a base branch
from
Open

Provide hint when Union type with None may not have been narrowed #17178

Changes from 1 commit
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
80f9788
added new circumstance of having NONE as the second object of a union…
Apr 23, 2024
0c28fad
added new circumstance of having NONE as the second object of a union…
Apr 23, 2024
30493ba
Add back new circumstance of having NONE as the second object of a union
angelawuuu Apr 24, 2024
7f4ea67
add note to use None guard when an an error complaining about None ty…
angelawuuu Apr 24, 2024
9b15594
uses actual variable name in note to use None guard when error compla…
angelawuuu Apr 24, 2024
b743fa1
remove extraneous parenthesis around if block
angelawuuu Apr 24, 2024
2a2d50c
fixed issue with getting variable name for None guard hint
angelawuuu Apr 24, 2024
f4b905a
fixed variable name when expression is a NameExpr for adding None gua…
angelawuuu Apr 24, 2024
70d5669
Fixed variable name for hint if context.expr is an instance of NameExpr
angelawuuu Apr 24, 2024
a65ac35
updated tests to provide note to use None guard when accessing attrib…
angelawuuu Apr 24, 2024
f31cf9c
Added test case that checks for note when a union type with None does…
angelawuuu Apr 24, 2024
ab28935
fixed linter issues
angelawuuu Apr 25, 2024
a102f95
Added checks that context is a MemberExpr before accessing its expr a…
angelawuuu Apr 25, 2024
310e619
Merge branch 'master' into union
angelawuuu Apr 29, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
fixed issue with getting variable name for None guard hint
  • Loading branch information
@angelawuuu
angelawuuu committed Apr 24, 2024
commit 2a2d50c4a5d7393e177b6f72226040577bccfb81
9 changes: 4 additions & 5 deletions mypy/messages.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -42,13 +42,15 @@
IndexExpr,
MypyFile,
NameExpr,
MemberExpr,
ReturnStmt,
StrExpr,
SymbolNode,
SymbolTable,
TypeInfo,
Var,
reverse_builtin_aliases,
get_member_expr_fullname,
)
from mypy.operators import op_methods, op_methods_to_symbols
from mypy.options import Options
Expand Down Expand Up @@ -530,11 +532,8 @@ def has_no_attr(
code=codes.UNION_ATTR,
)
if typ_format == '"None"':
if typ.source is None:
s = ""
else:
s = f' "{typ.source}"'
self.note(f'You can use "if{s} is not None" to guard against a None value')
var_name = f' {get_member_expr_fullname(context.expr)}'
self.note(f'You can use "if{var_name} is not None" to guard against a None value', context, code=codes.UNION_ATTR)
return codes.UNION_ATTR
elif isinstance(original_type, TypeVarType):
bound = get_proper_type(original_type.upper_bound)
Expand Down
0