]> git.lizzy.rs Git - rust.git/blob - src/test/ui/coherence/coherence-unsafe-trait-object-impl.stderr
fix(rustc_typeck): produce better errors for dyn auto trait
[rust.git] / src / test / ui / coherence / coherence-unsafe-trait-object-impl.stderr
1 error[E0277]: the trait bound `&dyn Trait: Trait` is not satisfied
2   --> $DIR/coherence-unsafe-trait-object-impl.rs:15:13
3    |
4 LL |     takes_t(t);
5    |             ^ the trait `Trait` is not implemented for `&dyn Trait`
6    |
7 note: required by a bound in `takes_t`
8   --> $DIR/coherence-unsafe-trait-object-impl.rs:10:15
9    |
10 LL | fn takes_t<S: Trait>(s: S) {
11    |               ^^^^^ required by this bound in `takes_t`
12
13 error: aborting due to previous error
14
15 For more information about this error, try `rustc --explain E0277`.