summaryrefslogtreecommitdiffstats
path: root/src/test/ui/suggestions/issue-96223.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/suggestions/issue-96223.rs')
-rw-r--r--src/test/ui/suggestions/issue-96223.rs52
1 files changed, 0 insertions, 52 deletions
diff --git a/src/test/ui/suggestions/issue-96223.rs b/src/test/ui/suggestions/issue-96223.rs
deleted file mode 100644
index 85667bb84..000000000
--- a/src/test/ui/suggestions/issue-96223.rs
+++ /dev/null
@@ -1,52 +0,0 @@
-// Previously ICEd because we didn't properly track binders in suggestions
-// check-fail
-
-pub trait Foo<'de>: Sized {}
-
-pub trait Bar<'a>: 'static {
- type Inner: 'a;
-}
-
-pub trait Fubar {
- type Bar: for<'a> Bar<'a>;
-}
-
-pub struct Baz<T>(pub T);
-
-impl<'de, T> Foo<'de> for Baz<T> where T: Foo<'de> {}
-
-struct Empty;
-
-impl<M> Dummy<M> for Empty
-where
- M: Fubar,
- for<'de> Baz<<M::Bar as Bar<'de>>::Inner>: Foo<'de>,
-{
-}
-
-pub trait Dummy<M>
-where
- M: Fubar,
-{
-}
-
-pub struct EmptyBis<'a>(&'a [u8]);
-
-impl<'a> Bar<'a> for EmptyBis<'static> {
- type Inner = EmptyBis<'a>;
-}
-
-pub struct EmptyMarker;
-
-impl Fubar for EmptyMarker {
- type Bar = EmptyBis<'static>;
-}
-
-fn icey_bounds<D: Dummy<EmptyMarker>>(p: &D) {}
-
-fn trigger_ice() {
- let p = Empty;
- icey_bounds(&p); //~ERROR the trait bound
-}
-
-fn main() {}