about summary refs log tree commit diff
path: root/compiler/rustc_llvm/llvm-wrapper/PassWrapper.cpp
diff options
context:
space:
mode:
authorEsteban Kuber <esteban@kuber.com.ar>2021-12-13 20:56:40 +0000
committerEsteban Kuber <esteban@kuber.com.ar>2022-04-04 21:01:42 +0000
commit3aac307ca62f6d6c5b3612d3dfe80b6eeae8ba15 (patch)
tree2c9610a6faa515517410ea51d6d48e52558b51da /compiler/rustc_llvm/llvm-wrapper/PassWrapper.cpp
parent6a9080b25e73d26aae94c3f6a13b31de58e66b5a (diff)
downloadrust-3aac307ca62f6d6c5b3612d3dfe80b6eeae8ba15.tar.gz
rust-3aac307ca62f6d6c5b3612d3dfe80b6eeae8ba15.zip
Mention implementers of unsatisfied trait
When encountering an unsatisfied trait bound, if there are no other
suggestions, mention all the types that *do* implement that trait:

```
error[E0277]: the trait bound `f32: Foo` is not satisfied
  --> $DIR/impl_wf.rs:22:6
   |
LL | impl Baz<f32> for f32 { }
   |      ^^^^^^^^ the trait `Foo` is not implemented for `f32`
   |
   = help: the following other types implement trait `Foo`:
             Option<T>
             i32
             str
note: required by a bound in `Baz`
  --> $DIR/impl_wf.rs:18:31
   |
LL | trait Baz<U: ?Sized> where U: Foo { }
   |                               ^^^ required by this bound in `Baz`
```

Mention implementers of traits in `ImplObligation`s.

Do not mention other `impl`s for closures, ranges and `?`.
Diffstat (limited to 'compiler/rustc_llvm/llvm-wrapper/PassWrapper.cpp')
0 files changed, 0 insertions, 0 deletions