crashes to ui

Author: lcnr

tests/crashes/102252.rs

@@ -0,0 +1,20 @@
+// This test previous triggered an assertion that there are no inference variables
+// returned by `wf::obligations`. Overflow when normalizing
+// `Self: Iterator<Item = <Self as Iterator>::Item>` resulted in overflow which then
+// caused us to return an infer var.
+//
+// This assert has now been removed.
+#![feature(min_specialization, rustc_attrs)]
+
+#[rustc_specialization_trait]
+pub trait Trait {}
+
+struct Struct
+//~^ ERROR overflow evaluating the requirement `<Struct as Iterator>::Item == _`
+where
+    Self: Iterator<Item = <Self as Iterator>::Item>, {}
+
+impl Trait for Struct {}
+//~^ ERROR `Struct` is not an iterator
+
+fn main() {}

tests/crashes/126268.rs

@@ -0,0 +1,26 @@
+error[E0275]: overflow evaluating the requirement `<Struct as Iterator>::Item == _`
+  --> $DIR/fuzzing-ice-102252.rs:12:1
+   |
+LL | struct Struct
+   | ^^^^^^^^^^^^^
+
+error[E0277]: `Struct` is not an iterator
+  --> $DIR/fuzzing-ice-102252.rs:17:16
+   |
+LL | impl Trait for Struct {}
+   |                ^^^^^^ `Struct` is not an iterator
+   |
+   = help: the trait `Iterator` is not implemented for `Struct`
+note: required by a bound in `Struct`
+  --> $DIR/fuzzing-ice-102252.rs:15:11
+   |
+LL | struct Struct
+   |        ------ required by a bound in this struct
+...
+LL |     Self: Iterator<Item = <Self as Iterator>::Item>, {}
+   |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Struct`
+
+error: aborting due to 2 previous errors
+
+Some errors have detailed explanations: E0275, E0277.
+For more information about an error, try `rustc --explain E0275`.

tests/ui/specialization/fuzzed/fuzzing-ice-102252.rs

@@ -0,0 +1,25 @@
+// This test previous triggered an assertion that there are no inference variables
+// returned by `wf::obligations`. We ended up with an infer var as we failed to
+// normalize `R::Elem`.
+//
+// This assert has now been removed.
+#![feature(min_specialization)]
+
+trait Trait {}
+
+impl<T> Trait for T {}
+
+trait Data {
+    type Elem;
+}
+
+struct DatasetIter<'a, R: Data> {
+    data: &'a R::Elem,
+}
+
+pub struct ArrayBase {}
+
+impl<'a> Trait for DatasetIter<'a, ArrayBase> {}
+//~^ ERROR specialization impl does not specialize any associated items
+
+fn main() {}

tests/ui/specialization/fuzzed/fuzzing-ice-102252.stderr

@@ -0,0 +1,14 @@
+error: specialization impl does not specialize any associated items
+  --> $DIR/fuzzing-ice-126268.rs:22:1
+   |
+LL | impl<'a> Trait for DatasetIter<'a, ArrayBase> {}
+   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+   |
+note: impl is a specialization of this impl
+  --> $DIR/fuzzing-ice-126268.rs:10:1
+   |
+LL | impl<T> Trait for T {}
+   | ^^^^^^^^^^^^^^^^^^^
+
+error: aborting due to 1 previous error
+