diff options
| author | lcnr <rust@lcnr.de> | 2024-03-12 14:26:30 +0100 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2024-04-25 19:44:00 +0000 |
| commit | 03878c682a68dc2891eccbd04b5d2f04c91ba0c4 (patch) | |
| tree | 48daca477cf106446c77e40ecf5cf5770e1d8234 /compiler/rustc_codegen_llvm/src | |
| parent | 662eadbafb4d4021eb0f0cbe0b2521f2e3da3531 (diff) | |
| download | rust-03878c682a68dc2891eccbd04b5d2f04c91ba0c4.tar.gz rust-03878c682a68dc2891eccbd04b5d2f04c91ba0c4.zip | |
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.
Diffstat (limited to 'compiler/rustc_codegen_llvm/src')
0 files changed, 0 insertions, 0 deletions