2 // compile-flags: --emit=mir,link
3 // Checks that we don't ICE due to attempting to run const prop
4 // on a function with unsatisifable 'where' clauses
9 fn foo(&self) -> Self where Self: Copy;
12 impl A for [fn(&())] {
13 fn foo(&self) -> Self where Self: Copy { *(&[] as &[_]) }
17 fn foo(&self) -> Self { 3 }