diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-04-30 06:43:43 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-30 06:43:43 +0200 |
| commit | ed00f668acc1969217308600ee815f3bd7b23c23 (patch) | |
| tree | 1c5121ce7f0b96625fb7af4b62ee813f294333e6 /compiler/rustc_codegen_llvm/src | |
| parent | ea3d99eaa8f969f778be8f40f0a538430442b8d8 (diff) | |
| parent | 7597d1504e144e4bbfec9032b7c81e161d5fb1c5 (diff) | |
| download | rust-ed00f668acc1969217308600ee815f3bd7b23c23.tar.gz rust-ed00f668acc1969217308600ee815f3bd7b23c23.zip | |
Rollup merge of #124540 - compiler-errors:nested-goals, r=lcnr
Give proof tree visitors the ability to instantiate nested goals directly Useful when we want to look at the nested goals but not necessarily visit them (e.g. in select). r? lcnr
Diffstat (limited to 'compiler/rustc_codegen_llvm/src')
0 files changed, 0 insertions, 0 deletions