summaryrefslogtreecommitdiffstats
path: root/src/test/ui/lint/lint-ctypes-73249-2.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/lint/lint-ctypes-73249-2.rs')
-rw-r--r--src/test/ui/lint/lint-ctypes-73249-2.rs29
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() {}