summaryrefslogtreecommitdiffstats
path: root/src/test/ui/const_prop/issue-102553.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/const_prop/issue-102553.rs')
-rw-r--r--src/test/ui/const_prop/issue-102553.rs24
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)
- }
-}