[rustc.git] / src / test / ui / wf / wf-in-fn-where-clause.rs

// Check that we enforce WF conditions also for where clauses in fn items.


#![allow(dead_code)]

trait MustBeCopy<T:Copy> {
}

fn bar<T,U>()
    where T: MustBeCopy<U> //~ ERROR E0277
{
}


fn main() { }
Commit	Line	Data
e9174d1e	1	// Check that we enforce WF conditions also for where clauses in fn items.
c34b1796	2
a1dfa0c6	3
e9174d1e SL	4	#![allow(dead_code)]
	5
	6	trait MustBeCopy<T:Copy> {
	7	}
	8
74b04a01 XL	9	fn bar<T,U>()
74b04a01 XL	10	where T: MustBeCopy<U> //~ ERROR E0277
e9174d1e	11	{
223e47cc	12	}
e9174d1e	13
a1dfa0c6	14
9cc50fc6	15	fn main() { }