diff options
Diffstat (limited to 'src/test/ui/lint/lint-ctypes-73249-2.rs')
-rw-r--r-- | src/test/ui/lint/lint-ctypes-73249-2.rs | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/src/test/ui/lint/lint-ctypes-73249-2.rs b/src/test/ui/lint/lint-ctypes-73249-2.rs deleted file mode 100644 index 691047c8a..000000000 --- a/src/test/ui/lint/lint-ctypes-73249-2.rs +++ /dev/null @@ -1,29 +0,0 @@ -#![feature(type_alias_impl_trait)] -#![deny(improper_ctypes)] - -pub trait Baz {} - -impl Baz for () {} - -type Qux = impl Baz; - -fn assign() -> Qux {} - -pub trait Foo { - type Assoc: 'static; -} - -impl Foo for () { - type Assoc = Qux; -} - -#[repr(transparent)] -pub struct A<T: Foo> { - x: &'static <T as Foo>::Assoc, -} - -extern "C" { - pub fn lint_me() -> A<()>; //~ ERROR: uses type `Qux` -} - -fn main() {} |