diff options
Diffstat (limited to 'src/test/ui/rfc-2093-infer-outlives/privacy.rs')
-rw-r--r-- | src/test/ui/rfc-2093-infer-outlives/privacy.rs | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/src/test/ui/rfc-2093-infer-outlives/privacy.rs b/src/test/ui/rfc-2093-infer-outlives/privacy.rs deleted file mode 100644 index 180f5ac6c..000000000 --- a/src/test/ui/rfc-2093-infer-outlives/privacy.rs +++ /dev/null @@ -1,20 +0,0 @@ -// Test that we do not get a privacy error here. Initially, we did, -// because we inferred an outlives predciate of `<Foo<'a> as -// Private>::Out: 'a`, but the private trait is -- well -- private, -// and hence it was not something that a pub trait could refer to. -// -// run-pass - -#![allow(dead_code)] - -pub struct Foo<'a> { - field: Option<&'a <Foo<'a> as Private>::Out> -} - -trait Private { - type Out: ?Sized; -} - -impl<T: ?Sized> Private for T { type Out = Self; } - -fn main() { } |