diff options
| author | Michael Goulet <michael@errs.io> | 2023-03-26 20:33:54 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-03-26 20:33:54 +0000 |
| commit | db4e4afce8f87eb73db3808981215cd28e97095d (patch) | |
| tree | 1662e8eda235b075f9c7097c48d76913961ec302 /tests/codegen/array-codegen.rs | |
| parent | 8df896c076fd993bad58878ee8a6ed29d8e586ba (diff) | |
| download | rust-db4e4afce8f87eb73db3808981215cd28e97095d.tar.gz rust-db4e4afce8f87eb73db3808981215cd28e97095d.zip | |
Don't elaborate non-obligations into obligations
Diffstat (limited to 'tests/codegen/array-codegen.rs')
0 files changed, 0 insertions, 0 deletions