This code no longer ICEs, and @yodaldevoid found that it was fixed by
commit
fe5710a. While that added a similar test, we can explicitly test
this reproducer too.
Closes #50582.
--- /dev/null
+fn main() {
+ Vec::<[(); 1 + for x in 0..1 {}]>::new();
+ //~^ ERROR cannot add
+}
--- /dev/null
+error[E0277]: cannot add `()` to `{integer}`
+ --> $DIR/issue-50582.rs:2:18
+ |
+LL | Vec::<[(); 1 + for x in 0..1 {}]>::new();
+ | ^ no implementation for `{integer} + ()`
+ |
+ = help: the trait `std::ops::Add<()>` is not implemented for `{integer}`
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0277`.