Skip to content

Make assumption functions in new solver take Binder<'tcx, Clause<'tcx>>#112665

Merged
bors merged 1 commit into
rust-lang:masterfrom
compiler-errors:assumption-takes-clause
Jun 17, 2023
Merged

Make assumption functions in new solver take Binder<'tcx, Clause<'tcx>>#112665
bors merged 1 commit into
rust-lang:masterfrom
compiler-errors:assumption-takes-clause

Make assumption functions in new solver take clause

b4ba7c4
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs