diff options
| author | Michael Goulet <michael@errs.io> | 2023-06-16 12:53:23 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-16 12:53:23 -0700 |
| commit | cef94ecedfc87fcf570c76fc1dad674592dcdb98 (patch) | |
| tree | 4ad5da1da7b1956005932c0da367c22ada5cf1f4 /compiler/rustc_codegen_cranelift/example/alloc_example.rs | |
| parent | 38fc6be325f57e6e149bc2b60985870d48280018 (diff) | |
| parent | b4ba7c4f93c1279c55271404937f064a78355e2f (diff) | |
| download | rust-cef94ecedfc87fcf570c76fc1dad674592dcdb98.tar.gz rust-cef94ecedfc87fcf570c76fc1dad674592dcdb98.zip | |
Rollup merge of #112665 - compiler-errors:assumption-takes-clause, r=lcnr
Make assumption functions in new solver take `Binder<'tcx, Clause<'tcx>>` We just use an if-let to match on an optional clause at all the places where we transition from `Predicate` -> `Clause`, but I assume that when things like item-bounds and param-env start to only store `Clause`s then those can just be trivially dropped. r? ``@lcnr``
Diffstat (limited to 'compiler/rustc_codegen_cranelift/example/alloc_example.rs')
0 files changed, 0 insertions, 0 deletions