src/test/ui/trivial-bounds/trivial-bounds-inconsistent-well-formed.rs

   1 // run-pass
   2 // Test that inconsistent bounds are used in well-formedness checks
   3 #![feature(trivial_bounds)]
   4
   5 use std::fmt::Debug;
   6
   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
  10     let x = vec![*"1"];
  11     println!("{:?}", x);
  12 }
  13
  14 fn main() {}