Skip to content

Fix indexing issue for const parameter invariance - #60280

Merged
bors merged 1 commit into
rust-lang:masterfrom
varkor:const-param-invariance
May 1, 2019
Merged

Fix indexing issue for const parameter invariance#60280
bors merged 1 commit into
rust-lang:masterfrom
varkor:const-param-invariance

Conversation

@varkor

Copy link
Copy Markdown
Contributor

We were previously not taking account of the parent parameters.

r? @eddyb
cc @Zoxc

@rust-highfiverust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 25, 2019
@ZoxcZoxc mentioned this pull request Apr 25, 2019
@eddyb

Copy link
Copy Markdown
Contributor

@bors r+

@bors

bors commented Apr 30, 2019

Copy link
Copy Markdown
Collaborator

📌 Commit f024196 has been approved by eddyb

@borsbors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Apr 30, 2019
Centril added a commit to Centril/rust that referenced this pull request Apr 30, 2019
Fix indexing issue for const parameter invariance
We were previously not taking account of the parent parameters.
r? @eddyb
cc @Zoxc
Centril added a commit to Centril/rust that referenced this pull request Apr 30, 2019
@CentrilCentril mentioned this pull request Apr 30, 2019
@bors

bors commented May 1, 2019

Copy link
Copy Markdown
Collaborator

⌛ Testing commit f024196 with merge 834bd19...

bors added a commit that referenced this pull request May 1, 2019
Fix indexing issue for const parameter invariance
We were previously not taking account of the parent parameters.
r? @eddyb
cc @Zoxc
Centril added a commit to Centril/rust that referenced this pull request May 1, 2019
@bors

bors commented May 1, 2019

Copy link
Copy Markdown
Collaborator

☀️ Test successful - checks-travis, status-appveyor
Approved by: eddyb
Pushing 834bd19 to master...

@borsbors added the merged-by-bors This PR was explicitly merged by bors. label May 1, 2019
@bors
bors merged commit f024196 into rust-lang:masterMay 1, 2019
@borsbors mentioned this pull request May 1, 2019
Centril added a commit to Centril/rust that referenced this pull request May 1, 2019
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merged-by-borsThis PR was explicitly merged by bors.S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants

@varkor@eddyb@bors@rust-highfive