Skip to content
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.

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

INSP: fix false positive unresolved reference error #5966

Merged
merged 1 commit into from Aug 26, 2020

Conversation

Undin
Copy link
Member

@Undin Undin commented Aug 19, 2020

Previously, the plugin shows it when you call trait method via UFCS, trait name was not in the scope and trait is used via a qualified path

Fixes #5965

@Undin Undin added the fix Pull requests that fix some bug(s) label Aug 19, 2020
@Undin Undin changed the title #5965: fix false positive unresolved reference error INSP: fix false positive unresolved reference error Aug 19, 2020
Previously, the plugin shows it when you call trait method via UFCS, trait name was not in the scope and trait is used via a qualified path
@Undin Undin force-pushed the undin/5965-fix-unresolved-reference-insp branch from d610b37 to 398b836 Compare August 19, 2020 21:10
@vlad20012
Copy link
Member

bors r+

@Undin Undin added this to In Progress in To test via automation Aug 26, 2020
@Undin Undin added this to the v130 milestone Aug 26, 2020
@bors
Copy link
Contributor

bors bot commented Aug 26, 2020

Build succeeded:

@bors bors bot merged commit b56f4b7 into master Aug 26, 2020
To test automation moved this from In Progress to Test Aug 26, 2020
@bors bors bot deleted the undin/5965-fix-unresolved-reference-insp branch August 26, 2020 14:16
@lancelote lancelote moved this from Test to Done in To test Aug 26, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
fix Pull requests that fix some bug(s)
Projects
To test
  
Done
Development

Successfully merging this pull request may close these issues.

False-positive unresolved reference error message
2 participants