blob: 00bf0ed0eba063b7684f2468aaf9835d87d4192c [file] [log] [blame]
//@ 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