diff options
Diffstat (limited to 'src/test/ui/const_prop/issue-102553.rs')
-rw-r--r-- | src/test/ui/const_prop/issue-102553.rs | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/src/test/ui/const_prop/issue-102553.rs b/src/test/ui/const_prop/issue-102553.rs deleted file mode 100644 index 523a9d7ac..000000000 --- a/src/test/ui/const_prop/issue-102553.rs +++ /dev/null @@ -1,24 +0,0 @@ -// compile-flags: --crate-type=lib -// check-pass - -pub trait Widget<E> { - fn boxed<'w>(self) -> Box<dyn WidgetDyn<E> + 'w> - where - Self: Sized + 'w; -} - -pub trait WidgetDyn<E> {} - -impl<T, E> WidgetDyn<E> for T where T: Widget<E> {} - -impl<E> Widget<E> for dyn WidgetDyn<E> + '_ { - fn boxed<'w>(self) -> Box<dyn WidgetDyn<E> + 'w> - where - Self: Sized + 'w, - { - // Even though this is illegal to const evaluate, this should never - // trigger an ICE because it can never be called from actual code - // (due to the trivially false where-clause predicate). - Box::new(self) - } -} |