src/test/ui/mir/mir_static_subtype.rs


1
2
3
4
5
6
7
8
9

// run-pass
// Test that subtyping the body of a static doesn't cause an ICE.

fn foo(_ : &()) {}
static X: fn(&'static ()) = foo;

fn main() {
    let _ = X;
}