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

Closed
angelawuuu wants to merge 14 commits into from
Closed

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
added new circumstance of having NONE as the second object of a union… 
… with warning message
  • Loading branch information
kr321 authored and kr321 committed Apr 23, 2024
commit 0c28fadd7dccd3c9fdbf3014b42aec1d6f95d3d4
23 changes: 6 additions & 17 deletions mypy/messages.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -522,23 +522,12 @@ def has_no_attr(
type(item) == NoneType for item in original_type.items
):
typ_format = '"None"'
if typ_format == '"None"':(
self.fail(
'Item {} of {} has no attribute "{}"{}. ADD HINT HERE'.format(
typ_format, orig_type_format, member, extra
),
context,
code=codes.UNION_ATTR,
)
)
else:(
self.fail(
'Item {} of {} has no attribute "{}"{}'.format(
typ_format, orig_type_format, member, extra
),
context,
code=codes.UNION_ATTR,
)
self.fail(
'Item {} of {} has no attribute "{}"{}'.format(
typ_format, orig_type_format, member, extra
),
context,
code=codes.UNION_ATTR,
)
return codes.UNION_ATTR
elif isinstance(original_type, TypeVarType):
Expand Down