Skip to content

Commit

Permalink
Add 85907
Browse files Browse the repository at this point in the history
  • Loading branch information
fanninpm committed Jun 4, 2021
1 parent 52b7325 commit 4a3ba90
Showing 1 changed file with 9 additions and 0 deletions.
9 changes: 9 additions & 0 deletions ices/85907.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
#![feature(const_panic)]

const fn hey() -> usize {
panic!(123);
}

fn main() {
let _: [u8; hey()] = todo!();
}

0 comments on commit 4a3ba90

Please sign in to comment.