diff options
Diffstat (limited to '')
| -rw-r--r-- | tests/ui/type-alias-impl-trait/underconstrained_generic.stderr (renamed from src/test/ui/type-alias-impl-trait/underconstrained_generic.stderr) | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/test/ui/type-alias-impl-trait/underconstrained_generic.stderr b/tests/ui/type-alias-impl-trait/underconstrained_generic.stderr index 95fb6f6a5..103636b6c 100644 --- a/src/test/ui/type-alias-impl-trait/underconstrained_generic.stderr +++ b/tests/ui/type-alias-impl-trait/underconstrained_generic.stderr @@ -8,7 +8,9 @@ note: required for `()` to implement `ProofForConversion<T>` --> $DIR/underconstrained_generic.rs:13:16 | LL | impl<X: Trait> ProofForConversion<X> for () { - | ^^^^^^^^^^^^^^^^^^^^^ ^^ + | ----- ^^^^^^^^^^^^^^^^^^^^^ ^^ + | | + | unsatisfied trait bound introduced here help: consider restricting type parameter `T` | LL | type Converter<T: Trait> = impl ProofForConversion<T>; |