Matthias Krüger
5f0d5855cb
Rollup merge of #114684 - compiler-errors:redundant-resolves, r=lcnr
...
Remove redundant calls to `resolve_vars_with_obligations`
I've been auditing the calls to `resolve_vars_with_obligations` for the new solver, and have found a few that have no effect on diagnostics. Let's just remove 'em.
Also remove a redundant `resolve_vars_with_obligations_and_mutate_fulfillment` call.
r? ``@lcnr``
2023-08-10 15:08:54 +02:00
..
2023-07-30 13:18:33 +02:00
2023-08-03 14:50:50 +02:00
2023-08-03 14:50:50 +02:00
2023-08-08 19:23:41 +00:00
2023-08-08 18:09:56 -07:00
2023-07-30 13:18:33 +02:00
2023-08-04 13:17:39 +02:00
2023-08-01 12:39:32 -07:00
2023-08-08 03:30:56 +02:00
2023-08-06 07:36:05 -07:00
2023-08-09 23:27:46 +00:00
2023-08-07 05:29:12 +02:00
2023-08-09 22:59:58 +02:00
2023-08-09 00:38:00 +00:00
2023-08-08 22:00:40 +00:00
2023-08-08 10:25:37 +00:00
2023-07-03 07:20:51 +00:00
2023-08-07 19:33:23 +08:00
2023-08-05 11:52:07 +00:00
2023-08-03 14:50:50 +02:00
2023-08-04 18:46:19 +00:00
2023-08-04 18:46:19 +00:00
2023-08-08 18:09:56 -07:00
2023-05-26 10:44:18 +00:00
2023-05-07 00:12:29 +03:00
2023-08-10 02:26:11 +02:00
2023-08-08 19:23:41 +00:00
2023-08-08 19:23:41 +00:00
2023-08-10 15:08:54 +02:00
2023-08-03 14:50:50 +02:00
2023-08-03 14:50:50 +02:00
2023-08-08 03:30:56 +02:00
2023-08-07 19:33:23 +08:00
2023-07-29 08:47:21 +08:00
2023-08-06 03:56:09 +02:00
2023-08-04 14:13:11 +00:00
2023-08-08 21:44:44 +02:00
2023-07-30 13:18:33 +02:00
2023-08-03 14:50:50 +02:00
2023-08-08 05:10:11 +00:00
2023-08-09 23:00:00 +02:00
2023-08-08 03:30:56 +02:00
2023-08-06 17:26:29 +02:00
2023-08-09 22:59:58 +02:00
2023-08-07 15:54:31 +02:00
2023-08-04 21:31:57 +02:00
2023-07-19 16:37:09 +00:00
2023-08-08 19:23:41 +00:00
2023-08-07 15:54:31 +02:00
2023-08-03 14:50:50 +02:00
2023-08-08 03:30:56 +02:00
2023-08-08 14:48:17 +08:00
2023-07-03 13:51:54 -07:00
2023-08-08 21:44:43 +02:00
2023-08-09 23:00:00 +02:00
2023-08-08 18:09:56 -07:00
2023-08-02 16:52:03 +02:00
2023-08-10 07:54:05 +00:00
2023-08-09 14:04:10 +00:00
2023-07-14 13:27:35 +01:00
2023-07-27 18:24:08 +00:00
2023-08-09 23:00:00 +02:00
2023-08-04 09:18:59 +02:00