diff options
Diffstat (limited to 'src/test/ui/polymorphization/normalized_sig_types.rs')
-rw-r--r-- | src/test/ui/polymorphization/normalized_sig_types.rs | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/src/test/ui/polymorphization/normalized_sig_types.rs b/src/test/ui/polymorphization/normalized_sig_types.rs deleted file mode 100644 index d732b1071..000000000 --- a/src/test/ui/polymorphization/normalized_sig_types.rs +++ /dev/null @@ -1,26 +0,0 @@ -// build-pass -// compile-flags:-Zpolymorphize=on - -pub trait ParallelIterator: Sized { - fn drive<C: Consumer<()>>(_: C) { - C::into_folder(); - } -} - -pub trait Consumer<T>: Sized { - type Result; - fn into_folder() -> Self::Result; -} - -impl ParallelIterator for () {} - -impl<F: Fn(), T> Consumer<T> for F { - type Result = (); - fn into_folder() -> Self::Result { - unimplemented!() - } -} - -fn main() { - <()>::drive(|| ()); -} |