mirror of https://github.com/rust-lang/rust
22 lines
406 B
Rust
22 lines
406 B
Rust
// Regression test for issue #119295.
|
|
|
|
#![feature(type_alias_impl_trait)]
|
|
|
|
type Bar<T> = T;
|
|
type S<const A: usize> = [i32; A];
|
|
|
|
extern "C" {
|
|
pub fn lint_me(
|
|
x: Bar<
|
|
S<
|
|
{ //~ ERROR mismatched types
|
|
type B<Z> = impl Sized;
|
|
//~^ ERROR unconstrained opaque type
|
|
},
|
|
>,
|
|
>,
|
|
);
|
|
}
|
|
|
|
fn main() {}
|