// Ensure that we reject generic parameters on foreign items.

extern "C" {
    fn foo<T>(); //~ ERROR foreign items may not have type parameters

    // Furthermore, check that type parameter defaults lead to a *hard* error,
    // not just a lint error, for maximum forward compatibility.
    #[allow(invalid_type_param_default)] // Should have no effect here.
    fn bar<T = ()>(); //~ ERROR foreign items may not have type parameters
    //~^ ERROR defaults for generic parameters are not allowed here
}

fn main() {
    unsafe { foo::<i32>() };
}