1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
// Check that we enforce WF conditions also for types in fns. #![allow(dead_code)] trait Object<T> { } struct MustBeCopy<T:Copy> { t: T } struct Foo<T> { // needs T: 'static x: dyn Object<&'static T> //~ ERROR E0310 } fn main() { }