#![feature(never_type)]

fn main() {
    struct Foo<X: ?Sized>(X);

    Foo as fn([!]) -> Foo<[!]>;
}