diff options
| author | Dylan DPC <dylan.dpc@gmail.com> | 2021-04-02 19:57:32 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-02 19:57:32 +0200 |
| commit | 6cb74ad99f8f6cc994ebe18d906ec1dd7ccd8b3d (patch) | |
| tree | 0c7dae9869d3e9fd19f6ffb4456aecc4d9268355 /src/test/ui/impl-trait | |
| parent | 542f441d445026d0996eebee9ddddee98f5dc3e5 (diff) | |
| parent | 8f7735624924e3399a1abee68615a99072347cc9 (diff) | |
| download | rust-6cb74ad99f8f6cc994ebe18d906ec1dd7ccd8b3d.tar.gz rust-6cb74ad99f8f6cc994ebe18d906ec1dd7ccd8b3d.zip | |
Rollup merge of #83673 - hi-rustin:rustin-patch-suggestion, r=estebank
give full path of constraint in suggest_constraining_type_param close https://github.com/rust-lang/rust/issues/83513
Diffstat (limited to 'src/test/ui/impl-trait')
| -rw-r--r-- | src/test/ui/impl-trait/issue-55872-1.full_tait.stderr | 8 | ||||
| -rw-r--r-- | src/test/ui/impl-trait/issue-55872-1.min_tait.stderr | 8 |
2 files changed, 8 insertions, 8 deletions
diff --git a/src/test/ui/impl-trait/issue-55872-1.full_tait.stderr b/src/test/ui/impl-trait/issue-55872-1.full_tait.stderr index 5195333884a..67a500f34d8 100644 --- a/src/test/ui/impl-trait/issue-55872-1.full_tait.stderr +++ b/src/test/ui/impl-trait/issue-55872-1.full_tait.stderr @@ -25,8 +25,8 @@ LL | type E = impl Copy; = note: required because it appears within the type `(S, T)` help: consider further restricting this bound | -LL | impl<S: Default + Copy> Bar for S { - | ^^^^^^ +LL | impl<S: Default + std::marker::Copy> Bar for S { + | ^^^^^^^^^^^^^^^^^^^ error[E0277]: the trait bound `T: Copy` is not satisfied in `(S, T)` --> $DIR/issue-55872-1.rs:14:14 @@ -37,8 +37,8 @@ LL | type E = impl Copy; = note: required because it appears within the type `(S, T)` help: consider further restricting this bound | -LL | fn foo<T: Default + Copy>() -> Self::E { - | ^^^^^^ +LL | fn foo<T: Default + std::marker::Copy>() -> Self::E { + | ^^^^^^^^^^^^^^^^^^^ error: type parameter `T` is part of concrete type but not used in parameter list for the `impl Trait` type alias --> $DIR/issue-55872-1.rs:18:37 diff --git a/src/test/ui/impl-trait/issue-55872-1.min_tait.stderr b/src/test/ui/impl-trait/issue-55872-1.min_tait.stderr index 26fc200c2a2..90225d249d7 100644 --- a/src/test/ui/impl-trait/issue-55872-1.min_tait.stderr +++ b/src/test/ui/impl-trait/issue-55872-1.min_tait.stderr @@ -16,8 +16,8 @@ LL | type E = impl Copy; = note: required because it appears within the type `(S, T)` help: consider further restricting this bound | -LL | impl<S: Default + Copy> Bar for S { - | ^^^^^^ +LL | impl<S: Default + std::marker::Copy> Bar for S { + | ^^^^^^^^^^^^^^^^^^^ error[E0277]: the trait bound `T: Copy` is not satisfied in `(S, T)` --> $DIR/issue-55872-1.rs:14:14 @@ -28,8 +28,8 @@ LL | type E = impl Copy; = note: required because it appears within the type `(S, T)` help: consider further restricting this bound | -LL | fn foo<T: Default + Copy>() -> Self::E { - | ^^^^^^ +LL | fn foo<T: Default + std::marker::Copy>() -> Self::E { + | ^^^^^^^^^^^^^^^^^^^ error: type parameter `T` is part of concrete type but not used in parameter list for the `impl Trait` type alias --> $DIR/issue-55872-1.rs:18:37 |