diff options
Diffstat (limited to 'src/test/ui/specialization/issue-35376.rs')
-rw-r--r-- | src/test/ui/specialization/issue-35376.rs | 43 |
1 files changed, 0 insertions, 43 deletions
diff --git a/src/test/ui/specialization/issue-35376.rs b/src/test/ui/specialization/issue-35376.rs deleted file mode 100644 index cc35213b9..000000000 --- a/src/test/ui/specialization/issue-35376.rs +++ /dev/null @@ -1,43 +0,0 @@ -// check-pass -#![feature(specialization)] -//~^ WARN the feature `specialization` is incomplete - -fn main() {} - -pub trait Alpha<T> { } - -pub trait Beta { - type Event; -} - -pub trait Delta { - type Handle; - fn process(&self); -} - -pub struct Parent<A, T>(A, T); - -impl<A, T> Delta for Parent<A, T> -where A: Alpha<T::Handle>, - T: Delta, - T::Handle: Beta<Event = <Handle as Beta>::Event> { - type Handle = Handle; - default fn process(&self) { - unimplemented!() - } -} - -impl<A, T> Delta for Parent<A, T> -where A: Alpha<T::Handle> + Alpha<Handle>, - T: Delta, - T::Handle: Beta<Event = <Handle as Beta>::Event> { - fn process(&self) { - unimplemented!() - } -} - -pub struct Handle; - -impl Beta for Handle { - type Event = (); -} |