Michael Goulet
cef94ecedf
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``
2023-06-16 12:53:23 -07:00
2023-06-13 22:34:59 +00:00
2023-06-15 17:59:13 +08:00
2023-06-12 15:15:45 +08:00
2023-06-15 18:19:09 +08:00
2023-06-15 22:04:57 +02:00
2023-06-15 17:56:01 +00:00
2023-06-10 03:39:24 +08:00
2023-06-16 12:53:22 -07:00
2023-06-16 12:53:22 -07:00
2023-06-14 18:10:29 +02:00
2023-06-14 09:28:54 +02:00
2023-06-10 00:35:21 +03:00
2023-06-16 15:22:18 +02:00
2023-06-15 00:03:10 +00:00
2023-06-16 14:46:14 +05:30
2023-06-12 11:58:40 +02:00
2023-06-15 15:19:11 -04:00
2023-06-16 05:48:08 +00:00
2023-06-12 01:02:19 +03:00
2023-06-14 09:28:54 +02:00
2023-06-16 12:53:23 -07:00
2023-06-15 22:04:55 +02:00
2023-06-15 18:58:23 +10:00
2023-06-15 01:55:37 +00:00
2023-06-12 01:02:19 +03:00
2023-06-15 18:19:09 +08:00
2023-06-15 15:19:11 -04:00
2023-06-13 15:17:01 -07:00
2023-06-16 15:22:18 +02:00
2023-06-13 20:24:22 +08:00
2023-06-16 12:53:23 -07:00
2023-06-14 09:28:54 +02:00
2023-06-12 16:56:21 -07:00
cef94ecedf