//@ 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;
}