[rustc.git] / src / test / ui / trivial-bounds / trivial-bounds-inconsistent-well-formed.rs

// 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() {}
Commit	Line	Data
94b46f34 XL	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 {
60c5eb7d XL	8	//~^ WARNING Debug does not depend on any type or lifetime
60c5eb7d XL	9	//~\| WARNING Copy does not depend on any type or lifetime
94b46f34 XL	10	let x = vec![*"1"];
	11	println!("{:?}", x);
	12	}
0531ce1d	13
5bcae85e	14	fn main() {}