2 // compile-flags: --emit=mir,link
3 // Force mir to be emitted, to ensure that const
4 // propagation doesn't ICE on a function
5 // with an 'impossible' body. See issue #67696
6 // Inconsistent bounds with trait implementations
8 #![feature(trivial_bounds)]
12 fn foo(&self) -> Self where Self: Copy;
16 fn foo(&self) -> Self where Self: Copy { *"" }
20 fn foo(&self) -> Self { 3 }