Ali MJ Al-Nasrawy
c6a17bf8bc
make ascribe_user_type a TypeOp
...
Projection types in user annotations may contain inference variables.
This makes the normalization depend on the unification with the actual
type and thus requires a separate TypeOp to track the obligations.
Otherwise simply calling `TypeChecker::normalize` would ICE with
"unexpected ambiguity"
2023-01-07 13:41:41 +03:00
..
2022-10-02 17:49:36 +02:00
2022-12-18 22:01:39 +00:00
2022-12-10 18:45:34 +01:00
2022-12-10 18:45:34 +01:00
2023-01-05 19:01:12 +01:00
2023-01-05 19:01:12 +01:00
2022-12-15 11:26:15 +00:00
2023-01-05 19:01:12 +01:00
2023-01-05 19:01:12 +01:00
2022-11-18 14:46:36 -08:00
2023-01-07 13:41:41 +03:00
2023-01-02 15:51:54 +05:30
2022-12-21 23:20:04 +00:00
2023-01-04 00:48:07 +00:00
2023-01-04 19:24:42 -05:00
2023-01-04 21:35:15 +00:00
2023-01-04 00:43:13 +00:00
2023-01-05 19:01:12 +01:00
2023-01-05 19:01:12 +01:00
2023-01-02 09:11:36 +13:00
2023-01-04 21:35:15 +00:00
2023-01-06 21:26:09 +01:00
2023-01-05 20:42:26 +01:00
2023-01-05 19:01:12 +01:00
2022-12-01 17:34:43 +00:00
2023-01-05 19:01:12 +01:00
2023-01-05 19:01:12 +01:00
2023-01-07 13:38:38 +03:00
2023-01-05 19:01:12 +01:00
2023-01-07 13:38:40 +03:00
2022-12-20 22:10:40 +01:00
2023-01-05 19:01:12 +01:00
2023-01-06 12:08:49 +00:00
2023-01-05 19:01:12 +01:00
2022-12-27 06:14:46 +00:00
2023-01-04 20:36:28 -08:00
2022-12-25 00:43:50 +01:00
2023-01-05 19:01:12 +01:00
2023-01-05 19:01:12 +01:00
2023-01-05 19:01:12 +01:00
2023-01-05 19:01:12 +01:00
2023-01-07 13:41:41 +03:00
2023-01-04 20:36:28 -08:00
2023-01-05 19:01:12 +01:00
2023-01-03 00:00:00 +00:00
2023-01-05 19:01:12 +01:00
2023-01-06 05:34:56 +00:00
2023-01-05 19:01:12 +01:00
2022-12-28 18:52:36 +01:00
2022-10-23 10:09:44 +02:00
2023-01-05 19:01:12 +01:00
2023-01-05 19:01:12 +01:00
2023-01-05 19:01:12 +01:00
2023-01-04 00:48:07 +00:00
2023-01-04 00:43:13 +00:00
2022-12-10 18:45:34 +01:00
2023-01-06 21:26:12 +01:00
2022-09-13 19:18:23 +02:00
2023-01-05 19:01:12 +01:00
2023-01-05 19:01:12 +01:00
2023-01-06 15:20:58 +00:00
2023-01-06 11:38:57 +05:30
2023-01-07 13:41:41 +03:00
2023-01-05 19:01:12 +01:00
2023-01-06 15:20:58 +00:00
2023-01-05 19:01:12 +01:00