Matthias Krüger
d022013eb7
Rollup merge of #107102 - compiler-errors:new-solver-new-candidats-4, r=lcnr ...
Implement some more predicates in the new solver
Implement a few more goals. The subtype goal specifically is important, since it's required for this code to compile:
```
fn main() {
let mut x = vec![];
x.push(1i32);
}
```
(I think we emit a subtype goal here because of coercion).
Drive-by: Also implements `--compare-mode=next-solver` -- I've been using this locally a lot to find out what works and what doesn't. I'm also happy to split this out into another PR.
r? `@lcnr`
2023-01-22 11:43:05 +01:00
2023-01-17 20:21:25 +01:00
2023-01-17 20:21:25 +01:00
2023-01-17 20:21:25 +01:00
2023-01-19 13:52:15 +01:00
2023-01-17 08:09:33 +00:00
2023-01-21 11:02:29 +00:00
2023-01-21 07:49:09 +00:00
2023-01-19 05:23:40 +00:00
2023-01-11 09:32:13 +00:00
2023-01-19 10:19:07 +01:00
2023-01-19 10:40:54 +01:00
2023-01-20 04:52:28 +00:00
2023-01-21 14:18:17 +00:00
2023-01-19 05:23:40 +00:00
2023-01-19 11:19:35 +01:00
2023-01-20 15:28:40 +00:00
2023-01-17 08:09:33 +00:00
2023-01-20 04:52:28 +00:00
2023-01-13 05:04:48 +00:00
2023-01-19 11:19:34 +01:00
2023-01-21 23:20:59 -05:00
2023-01-12 02:28:37 +00:00
2023-01-21 14:18:17 +00:00
2023-01-17 08:09:33 +00:00
2023-01-19 15:25:33 +00:00
2023-01-20 17:56:29 +09:00
2023-01-20 04:52:28 +00:00
2023-01-17 08:09:33 +00:00
2023-01-21 23:21:00 -05:00
2023-01-22 06:53:36 +00:00
2023-01-21 23:20:58 -05:00
2023-01-12 00:17:48 +09:00
2023-01-17 23:17:51 -08:00
2023-01-21 14:18:17 +00:00
2023-01-21 14:18:17 +00:00
2023-01-20 12:58:13 +00:00
2023-01-17 08:09:33 +00:00
2023-01-19 11:19:36 +01:00
2023-01-18 10:22:21 -08:00
2023-01-20 07:16:10 +01:00
2023-01-18 20:33:17 +01:00
2023-01-19 05:23:40 +00:00
2023-01-18 10:22:21 -08:00
2023-01-17 08:09:33 +00:00
2023-01-22 06:53:36 +00:00
2023-01-16 14:46:44 +00:00
2023-01-19 05:23:40 +00:00
2023-01-19 11:19:34 +01:00
2023-01-17 20:21:25 +01:00
2023-01-21 17:15:00 +00:00
2023-01-19 15:31:53 +03:00
2023-01-18 10:22:21 -08:00
2023-01-19 09:03:05 +01:00
2023-01-17 08:09:33 +00:00
d022013eb7