diff options
Diffstat (limited to 'src/test/ui/trivial-bounds/trivial-bounds-inconsistent-well-formed.rs')
-rw-r--r-- | src/test/ui/trivial-bounds/trivial-bounds-inconsistent-well-formed.rs | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/test/ui/trivial-bounds/trivial-bounds-inconsistent-well-formed.rs b/src/test/ui/trivial-bounds/trivial-bounds-inconsistent-well-formed.rs new file mode 100644 index 000000000..9efa22b10 --- /dev/null +++ b/src/test/ui/trivial-bounds/trivial-bounds-inconsistent-well-formed.rs @@ -0,0 +1,14 @@ +// run-pass +// Test that inconsistent bounds are used in well-formedness checks +#![feature(trivial_bounds)] + +use std::fmt::Debug; + +pub fn foo() where Vec<str>: Debug, str: Copy { + //~^ WARNING Debug does not depend on any type or lifetime + //~| WARNING Copy does not depend on any type or lifetime + let x = vec![*"1"]; + println!("{:?}", x); +} + +fn main() {} |