github.com
Consider WF of coroutine witness when proving outlives assumptions by compiler-errors · Pull Request #143545 · rust-lang/rust
TL;DR
This PR introduces an unstable flag -Zhigher-ranked-assumptions which tests out a new algorithm for dealing with some of the higher-ranked outlives problems that come from auto trait bounds o...
![A method resolution error:
```
error[E0599]: no method named `try_structurally_resolve` found for reference `&fn_ctxt::FnCtxt<'a, 'tcx>` in the current scope
--> compiler/rustc_hir_typeck/src/pat.rs:694:31
|
694 | *self.try_structurally_resolve(pat.span, peeled_ty).kind()
| ^^^^^^^^^^^^^^^^^^^^^^^^
|
help: there is a method `try_structurally_resolve_type` with a similar name
|
694 | *self.try_structurally_resolve_type(pat.span, peeled_ty).kind()
| +++++
```](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:iepdzjv2sqzadasza66rrktz/bafkreigkahe46wz7mnkosjfovylrponnk3vr6byapliud2o2lxpq23ygzi)
