diff options
| author | Boxy <supbscripter@gmail.com> | 2023-06-09 00:19:54 +0100 |
|---|---|---|
| committer | Boxy <supbscripter@gmail.com> | 2023-06-19 09:08:03 +0100 |
| commit | bb743f863590f8dae7d9121b11ea755399f88977 (patch) | |
| tree | 7a8a63e2cbf0a2847b677a134be8edd7f2d036ba /compiler/rustc_middle/src/query/mod.rs | |
| parent | 51090b962f10a178f9e15ef445692f6732c9c7ce (diff) | |
| download | rust-bb743f863590f8dae7d9121b11ea755399f88977.tar.gz rust-bb743f863590f8dae7d9121b11ea755399f88977.zip | |
allow caller to force proof tree generation
Diffstat (limited to 'compiler/rustc_middle/src/query/mod.rs')
0 files changed, 0 insertions, 0 deletions