#![feature(in_band_lifetimes)]

fn foo<T>(x: &'tcx T) -> &'tcx T {
    fn bar<T>(x: &'tcx T) -> &'tcx T { x }
    bar(x)
}

fn main() {}