(Re)add 3 ICEs

fixed/51506.rs → ices/51506.rs

@@ -27,11 +27,15 @@ impl Trait for X {
     }
 }
 
-fn main() {
-    if let Some(iter) = 1.f() { // replacing 1 by X makes the code compiles and runs fine
+fn f<T: Trait>(a: T) {
+    if let Some(iter) = a.f() {
         println!("Some");
         for x in iter {
             println!("x = {}", x);
         }
     }
 }
+
+pub fn main() {
+    f(10);
+}

ices/72352.rs

@@ -0,0 +1,21 @@
+#![allow(incomplete_features)]
+#![feature(const_compare_raw_pointers)]
+#![feature(const_generics)]
+
+use std::ffi::{CStr, CString};
+
+fn main() {
+    let baguette = CString::new("baguette").unwrap();
+    let ptr = baguette.as_ptr();
+    println!("{}", unsafe {
+        unsafely_do_the_thing::<safely_do_the_thing>(ptr)
+    });
+}
+
+unsafe fn unsafely_do_the_thing<const F: fn(&CStr) -> usize>(ptr: *const i8) -> usize {
+    F(CStr::from_ptr(ptr))
+}
+
+fn safely_do_the_thing(s: &CStr) -> usize {
+    s.to_bytes().len()
+}

ices/72372.sh

@@ -0,0 +1,11 @@
+#!/bin/bash
+
+cat > 72372.rs <<EOF
+fn main() {
+    let foo = "1\n2".lines().map(|_| [1]);
+    let _ = foo.filter(|_| true);
+}
+
+EOF
+
+rustc -Zmir-opt-level=2 72372.rs