summaryrefslogtreecommitdiffstats
path: root/src/test/ui/privacy/where-priv-type.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/privacy/where-priv-type.rs')
-rw-r--r--src/test/ui/privacy/where-priv-type.rs90
1 files changed, 0 insertions, 90 deletions
diff --git a/src/test/ui/privacy/where-priv-type.rs b/src/test/ui/privacy/where-priv-type.rs
deleted file mode 100644
index 66ee9c4bb..000000000
--- a/src/test/ui/privacy/where-priv-type.rs
+++ /dev/null
@@ -1,90 +0,0 @@
-// priv-in-pub lint tests where the private type appears in the
-// `where` clause of a public item
-
-#![crate_type = "lib"]
-#![feature(generic_const_exprs)]
-#![allow(incomplete_features)]
-
-
-struct PrivTy;
-trait PrivTr {}
-pub struct PubTy;
-pub struct PubTyGeneric<T>(T);
-pub trait PubTr {}
-impl PubTr for PrivTy {}
-pub trait PubTrWithAssocTy { type AssocTy; }
-impl PubTrWithAssocTy for PrivTy { type AssocTy = PrivTy; }
-
-
-pub struct S
-//~^ WARNING private type `PrivTy` in public interface
-//~| WARNING hard error
-where
- PrivTy:
-{}
-
-
-pub enum E
-//~^ WARNING private type `PrivTy` in public interface
-//~| WARNING hard error
-where
- PrivTy:
-{}
-
-
-pub fn f()
-//~^ WARNING private type `PrivTy` in public interface
-//~| WARNING hard error
-where
- PrivTy:
-{}
-
-
-impl S
-//~^ ERROR private type `PrivTy` in public interface
-where
- PrivTy:
-{
- pub fn f()
- //~^ WARNING private type `PrivTy` in public interface
- //~| WARNING hard error
- where
- PrivTy:
- {}
-}
-
-
-impl PubTr for PubTy
-where
- PrivTy:
-{}
-
-
-impl<T> PubTr for PubTyGeneric<T>
-where
- T: PubTrWithAssocTy<AssocTy=PrivTy>
-{}
-
-
-pub struct Const<const U: u8>;
-
-pub trait Trait {
- type AssocTy;
- fn assoc_fn() -> Self::AssocTy;
-}
-
-impl<const U: u8> Trait for Const<U>
-where
- Const<{ my_const_fn(U) }>: ,
-{
- type AssocTy = Const<{ my_const_fn(U) }>;
- //~^ ERROR private type
- fn assoc_fn() -> Self::AssocTy {
- Const
- }
-}
-
-const fn my_const_fn(val: u8) -> u8 {
- // body of this function doesn't matter
- val
-}