Skip to content

Commit

Permalink
Rollup merge of rust-lang#73070 - ayazhafiz:i/72819, r=nikomatsakis
Browse files Browse the repository at this point in the history
Add regression test for const generic ICE in rust-lang#72819

Closes rust-lang#72819
  • Loading branch information
Dylan-DPC authored Jun 10, 2020
2 parents e1cd8c4 + 2981395 commit 0a77c8c
Show file tree
Hide file tree
Showing 2 changed files with 30 additions and 0 deletions.
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
// Regression test for #72819: ICE due to failure in resolving the const generic in `Arr`'s type
// bounds.

#![feature(const_generics)]
#![allow(incomplete_features)]
struct Arr<const N: usize>
where Assert::<{N < usize::max_value() / 2}>: IsTrue,
//~^ ERROR constant expression depends on a generic parameter
{
}

enum Assert<const CHECK: bool> {}

trait IsTrue {}

impl IsTrue for Assert<true> {}

fn main() {
let x: Arr<{usize::max_value()}> = Arr {};
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
error: constant expression depends on a generic parameter
--> $DIR/issue-72819-generic-in-const-eval.rs:7:47
|
LL | where Assert::<{N < usize::max_value() / 2}>: IsTrue,
| ^^^^^^
|
= note: this may fail depending on what value the parameter takes

error: aborting due to previous error

0 comments on commit 0a77c8c

Please sign in to comment.