diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-11-03 12:44:50 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-03 12:44:50 +0100 |
| commit | 6cb627b6810a56b967e6fe7e958372d5314c73f6 (patch) | |
| tree | 684847d60c2d184a869c700ed452c518bf6422f2 /compiler/rustc_interface/src | |
| parent | 958a6af147cbffbe5f283a2f46bca876b8dac22a (diff) | |
| parent | 9e7345be1f5201634e421aa0963c56a976f36da9 (diff) | |
| download | rust-6cb627b6810a56b967e6fe7e958372d5314c73f6.tar.gz rust-6cb627b6810a56b967e6fe7e958372d5314c73f6.zip | |
Rollup merge of #117505 - estebank:issue-117501, r=TaKO8Ki
Fix incorrect trait bound restriction suggestion
Suggest
```
error[E0308]: mismatched types
--> $DIR/restrict-assoc-type-of-generic-bound.rs:9:12
|
LL | pub fn foo<A: MyTrait, B>(a: A) -> B {
| - - expected `B` because of return type
| |
| expected this type parameter
LL | return a.bar();
| ^^^^^^^ expected type parameter `B`, found associated type
|
= note: expected type parameter `B`
found associated type `<A as MyTrait>::T`
help: consider further restricting this bound
|
LL | pub fn foo<A: MyTrait<T = B>, B>(a: A) -> B {
| +++++++
```
instead of
```
error[E0308]: mismatched types
--> $DIR/restrict-assoc-type-of-generic-bound.rs:9:12
|
LL | pub fn foo<A: MyTrait, B>(a: A) -> B {
| - - expected `B` because of return type
| |
| expected this type parameter
LL | return a.bar();
| ^^^^^^^ expected type parameter `B`, found associated type
|
= note: expected type parameter `B`
found associated type `<A as MyTrait>::T`
help: consider further restricting this bound
|
LL | pub fn foo<A: MyTrait + <T = B>, B>(a: A) -> B {
| +++++++++
```
Fix #117501.
Diffstat (limited to 'compiler/rustc_interface/src')
0 files changed, 0 insertions, 0 deletions