2 // Test that inconsistent bounds are used in well-formedness checks
3 #![feature(trivial_bounds)]
7 pub fn foo() where Vec<str>: Debug, str: Copy {
8 //~^ WARNING Debug does not depend on any type or lifetime
9 //~| WARNING Copy does not depend on any type or lifetime