| //@ run-pass | |
| //@ compile-flags: -Zunleash-the-miri-inside-of-you | |
| #![allow(unused)] | |
| fn double(x: usize) -> usize { x * 2 } | |
| const X: fn(usize) -> usize = double; | |
| const fn bar(x: usize) -> usize { | |
| X(x) // FIXME: this should error someday | |
| } | |
| fn main() {} | |
| //~? WARN skipping const checks |