unsized_cast.rs 778 字节
Newer Older
D
David Wood 已提交
1
// build-fail
D
David Wood 已提交
2
// compile-flags:-Zpolymorphize=on
3
#![feature(fn_traits, rustc_attrs, unboxed_closures)]
D
David Wood 已提交
4 5 6 7

// This test checks that the polymorphization analysis considers a closure
// as using all generic parameters if it does an unsizing cast.

8
#[rustc_polymorphize_error]
D
David Wood 已提交
9 10 11 12 13 14 15
fn foo<T: Default>() {
    let _: T = Default::default();
    (|| Box::new(|| {}) as Box<dyn Fn()>)();
    //~^ ERROR item has unused generic parameters
    //~^^ ERROR item has unused generic parameters
}

16
#[rustc_polymorphize_error]
D
David Wood 已提交
17 18 19 20 21 22 23 24 25 26 27 28 29
fn foo2<T: Default>() {
    let _: T = Default::default();
    (|| {
        let call: extern "rust-call" fn(_, _) = Fn::call;
        call(&|| {}, ());
        //~^ ERROR item has unused generic parameters
    })();
}

fn main() {
    foo::<u32>();
    foo2::<u32>();
}