issue-67696-const-prop-ice.rs

// check-pass
// compile-flags: --emit=mir,link
// Checks that we don't ICE due to attempting to run const prop
// on a function with unsatisifable 'where' clauses

#![allow(unused)]

trait A {
    fn foo(&self) -> Self where Self: Copy;
}

impl A for [fn(&())] {
    fn foo(&self) -> Self where Self: Copy { *(&[] as &[_]) }
    //~^ WARNING the where-clause bound
    //~| WARNING the where-clause bound
    //~| WARNING the where-clause bound
}

impl A for i32 {
    fn foo(&self) -> Self { 3 }
}

fn main() {}