mirror of https://github.com/rust-lang/rust
03878c682a
uses a `ProofTreeVisitor` to look into nested goals when looking at the pending obligations during hir typeck. Used by closure signature inference, coercion, and for async functions. |
||
|---|---|---|
| .. | ||
| deduce-from-opaque-type-after-norm.rs | ||
| deduce-from-opaque-type.rs | ||
| infer-higher-ranked-signature.rs | ||
| infer-signature-from-impl.rs | ||
| obligation-with-leaking-placeholders.current.stderr | ||
| obligation-with-leaking-placeholders.next.stderr | ||
| obligation-with-leaking-placeholders.rs | ||
| supertrait-signature-inference-issue-23012.rs | ||