5 // Rustfix should add this, or use `std::fmt::Debug` instead.
8 struct ConstrainedStruct<X: Copy> {
13 trait InsufficientlyConstrainedGeneric<X=()> where X: std::marker::Copy {
14 fn return_the_constrained_type(&self, x: X) -> ConstrainedStruct<X> {
15 //~^ ERROR the trait bound `X: Copy` is not satisfied
16 ConstrainedStruct { x }