| trait WorksOnDefault { |
| fn do_something() {} |
| } |
| |
| impl<T: Default> WorksOnDefault for T {} |
| //~^ NOTE the following trait bounds were not satisfied |
| //~| NOTE unsatisfied trait bound introduced here |
| |
| trait Foo {} |
| |
| trait WorksOnFoo { |
| fn do_be_do() {} |
| } |
| |
| impl<T: Foo> WorksOnFoo for T {} |
| //~^ NOTE the following trait bounds were not satisfied |
| //~| NOTE unsatisfied trait bound introduced here |
| |
| impl<A: Foo, B: Foo, C: Foo> Foo for (A, B, C) {} |
| //~^ NOTE `Foo` is implemented for `(i32, u32, String)` |
| impl Foo for i32 {} |
| impl Foo for &i32 {} |
| impl Foo for u32 {} |
| impl Foo for String {} |
| |
| fn main() { |
| let _success = <(i32, u32, String)>::do_something(); |
| let _failure = <(i32, &u32, String)>::do_something(); //~ ERROR E0599 |
| //~^ NOTE `Default` is implemented for `(i32, u32, String)` |
| //~| NOTE function or associated item cannot be called on |
| let _success = <(i32, u32, String)>::do_be_do(); |
| let _failure = <(i32, &u32, String)>::do_be_do(); //~ ERROR E0599 |
| //~^ NOTE function or associated item cannot be called on |
| let _success = <(i32, u32, String)>::default(); |
| let _failure = <(i32, &u32, String)>::default(); //~ ERROR E0599 |
| //~^ NOTE `Default` is implemented for `(i32, u32, String)` |
| //~| NOTE function or associated item cannot be called on |
| //~| NOTE the following trait bounds were not satisfied |
| } |
