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

TY: Check type of const generic argument #4677

Merged
merged 2 commits into from Dec 20, 2019
Merged

TY: Check type of const generic argument #4677

merged 2 commits into from Dec 20, 2019

Conversation

mchernyavsky
Copy link
Member

@mchernyavsky mchernyavsky commented Nov 22, 2019 •
edited

Relates to #3985.

@mchernyavsky mchernyavsky force-pushed the check-const-generic-types branch 3 times, most recently from 856e2ce to f68963c Compare November 24, 2019 16:51
@mchernyavsky mchernyavsky mentioned this pull request Nov 27, 2019
Merged
@mchernyavsky mchernyavsky force-pushed the check-const-generic-types branch 2 times, most recently from 3bae049 to 0cf610f Compare November 28, 2019 17:53
mchernyavsky
mchernyavsky commented Dec 20, 2019
View reviewed changes
Copy link
Member Author

@mchernyavsky mchernyavsky left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

bors r=vlad20012

@mchernyavsky mchernyavsky added this to In Progress in To test via automation Dec 20, 2019
bors bot added a commit that referenced this pull request Dec 20, 2019
@bors @mchernyavsky
Merge #4677
18eb616 
4677: TY: Check type of const generic argument r=vlad20012 a=mchernyavsky

Relates to #3985.

Co-authored-by: mchernyavsky <mikhail.chernyavsky@jetbrains.com>
Co-authored-by: Mikhail Chernyavsky <mikhail.chernyavsky@jetbrains.com>
@mchernyavsky mchernyavsky added this to the v113 milestone Dec 20, 2019
@bors
Copy link
Contributor

bors bot commented Dec 20, 2019

Build failed

@vlad20012
Copy link
Member

bors r+

bors bot added a commit that referenced this pull request Dec 20, 2019
@bors @mchernyavsky
Merge #4677
0849b00 
4677: TY: Check type of const generic argument r=vlad20012 a=mchernyavsky

Relates to #3985.

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

bors bot commented Dec 20, 2019

Build succeeded

@bors bors bot merged commit 0eee38c into master Dec 20, 2019
To test automation moved this from In Progress to Test Dec 20, 2019
@bors bors bot deleted the check-const-generic-types branch December 20, 2019 17:55
@lancelote lancelote moved this from Test to Done in To test Dec 26, 2019
bors bot added a commit that referenced this pull request Mar 10, 2020
@bors @mchernyavsky
Merge #4242
f0f3387 
4242: TY: Initial type inference for const generics r=vlad20012 a=mchernyavsky

Relates to #3985.
Depends on #4677 and #4782.

Co-authored-by: Mikhail Chernyavsky <mikhail.chernyavsky@jetbrains.com>
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

@vlad20012 vlad20012 vlad20012 left review comments

Assignees

@vlad20012 vlad20012

Labels
feature
Projects
To test
  
Done
Milestone
v113
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@mchernyavsky @vlad20012