lcnr 03878c682a hir typeck: look into nested goals ...

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.

2024-04-25 19:44:00 +00:00

..

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

…