// check-pass
#![allow(dead_code)]
// pretty-expanded FIXME #23616

fn foo<T: 'static>(_: T) {}

fn bar<T>(x: &'static T) {
    foo(x);
}
fn main() {}