summaryrefslogtreecommitdiffstats
path: root/src/test/ui/privacy/private-in-public-assoc-ty.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/privacy/private-in-public-assoc-ty.rs')
-rw-r--r--src/test/ui/privacy/private-in-public-assoc-ty.rs52
1 files changed, 0 insertions, 52 deletions
diff --git a/src/test/ui/privacy/private-in-public-assoc-ty.rs b/src/test/ui/privacy/private-in-public-assoc-ty.rs
deleted file mode 100644
index fba72c131..000000000
--- a/src/test/ui/privacy/private-in-public-assoc-ty.rs
+++ /dev/null
@@ -1,52 +0,0 @@
-// Private types and traits are not allowed in interfaces of associated types.
-// This test also ensures that the checks are performed even inside private modules.
-
-#![feature(associated_type_defaults)]
-#![feature(type_alias_impl_trait)]
-
-mod m {
- struct Priv;
- trait PrivTr {}
- impl PrivTr for Priv {}
- pub trait PubTrAux1<T> {}
- pub trait PubTrAux2 {
- type A;
- }
- impl<T> PubTrAux1<T> for u8 {}
- impl PubTrAux2 for u8 {
- type A = Priv;
- //~^ ERROR private type `Priv` in public interface
- }
-
- // "Private-in-public in associated types is hard error" in RFC 2145
- // applies only to the aliased types, not bounds.
- pub trait PubTr {
- type Alias1: PrivTr;
- //~^ WARN private trait `PrivTr` in public interface
- //~| WARN this was previously accepted
- type Alias2: PubTrAux1<Priv> = u8;
- //~^ WARN private type `Priv` in public interface
- //~| WARN this was previously accepted
- type Alias3: PubTrAux2<A = Priv> = u8;
- //~^ WARN private type `Priv` in public interface
- //~| WARN this was previously accepted
-
- type Alias4 = Priv;
- //~^ ERROR private type `Priv` in public interface
-
- type Exist;
- fn infer_exist() -> Self::Exist;
- }
- impl PubTr for u8 {
- type Alias1 = Priv;
- //~^ ERROR private type `Priv` in public interface
-
- type Exist = impl PrivTr;
- //~^ ERROR private trait `PrivTr` in public interface
- fn infer_exist() -> Self::Exist {
- Priv
- }
- }
-}
-
-fn main() {}