// run-pass
#![allow(dead_code)]


// pretty-expanded FIXME #23616

struct Foo<T> {
    a: T
}

type Bar<T> = Foo<T>;

fn takebar<T>(_b: Bar<T>) { }

pub fn main() { }