diff options
| author | Michael Goulet <michael@errs.io> | 2024-04-29 11:16:21 -0400 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-04-29 17:06:34 -0400 |
| commit | 13825dcc156ee848dcbd57f3c118e864fc158c56 (patch) | |
| tree | 36d220b749ee2a11a36e42cfbe66c758a7853ae3 /compiler/rustc_parse/src/errors.rs | |
| parent | a8a1d3a771850e1e364eb9010e98789ce758a817 (diff) | |
| download | rust-13825dcc156ee848dcbd57f3c118e864fc158c56.tar.gz rust-13825dcc156ee848dcbd57f3c118e864fc158c56.zip | |
Take proof trees by value in inspect goal
Diffstat (limited to 'compiler/rustc_parse/src/errors.rs')
0 files changed, 0 insertions, 0 deletions