Make assumption functions in new solver take Binder<'tcx, Clause<'tcx>>#112665
Merged
bors merged 1 commit intorust-lang:masterfrom Jun 17, 2023
Merged
Make assumption functions in new solver take Binder<'tcx, Clause<'tcx>>#112665bors merged 1 commit intorust-lang:masterfrom
Binder<'tcx, Clause<'tcx>>#112665bors merged 1 commit intorust-lang:masterfrom
