b62f318a3b
Ensure that we never try to monomorphize the upcasting or vtable calls of impossible dyn types Check for impossible obligations in the `dyn Trait` type we're trying to compute its the vtable upcasting and method call slots. r? lcnr |
||
|---|---|---|
| .. | ||
| error_reporting | ||
| errors | ||
| solve | ||
| traits | ||
| errors.rs | ||
| infer.rs | ||
| lib.rs | ||
| regions.rs | ||
| solve.rs | ||