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.

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

Jump to bottom

RES: Take into account namespaces when resolving const generics #4202

Merged
merged 1 commit into from Jul 30, 2019
Merged

RES: Take into account namespaces when resolving const generics #4202

merged 1 commit into from Jul 30, 2019

Conversation

mchernyavsky
Copy link
Member

bors r+

@mchernyavsky mchernyavsky added the fix Pull requests that fix some bug(s) label Jul 30, 2019
bors bot added a commit that referenced this pull request Jul 30, 2019
@bors @mchernyavsky
Merge #4202
2e560ff 
4202: RES: Take into account namespaces when resolving const generics r=mchernyavsky a=mchernyavsky

bors r+


Co-authored-by: mchernyavsky <mikhail.chernyavsky@jetbrains.com>
@bors
Copy link
Contributor

bors bot commented Jul 30, 2019

Build succeeded

@bors bors bot merged commit 0bc68ad into master Jul 30, 2019
@bors bors bot deleted the const-generics-namespace branch July 30, 2019 21:02
@Undin Undin added this to the v103 milestone Aug 5, 2019
@Undin Undin added this to Test in To test Aug 6, 2019
@lancelote lancelote moved this from Test to Done in To test Aug 9, 2019
@Undin
Copy link
Member

Undin commented Aug 11, 2019

@mchernyavsky It would be great to have test(s) for this fix

@mchernyavsky mchernyavsky mentioned this pull request Aug 11, 2019
Merged
bors bot added a commit that referenced this pull request Aug 11, 2019
@bors @mchernyavsky
Merge #4237
f0374a6 
4237: T: Tests for const generic namespaces r=Undin a=mchernyavsky

Relates to #4202.

Co-authored-by: Mikhail Chernyavsky <mikhail.chernyavsky@jetbrains.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
fix Pull requests that fix some bug(s)
Projects
To test
  
Done
Milestone
v103
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@mchernyavsky @Undin