Holly Borla cd84df54bf
[Sema] Don't wrap class types in existential types. ...
This could happen previously when computing the existential type
for a given archetype. In cases where an archetype is only constrained
to a class, return the class type directly rather than wrapping it
in an existential type.
2022-02-02 13:17:50 -08:00
2022-01-13 19:30:44 -08:00
2022-02-02 13:17:50 -08:00
2022-01-31 05:04:09 +03:00
2022-01-29 14:32:42 -05:00
2022-01-24 11:51:01 -08:00
2022-01-06 16:49:39 -08:00
2022-01-31 00:07:37 +00:00
2021-12-22 05:56:01 -08:00
2022-01-31 05:04:49 +03:00
2022-01-24 22:18:10 -08:00
2022-01-28 16:34:10 -08:00
2021-12-22 05:56:01 -08:00
2022-02-01 09:19:07 -08:00
2021-12-13 15:32:08 +01:00
2022-01-20 10:34:37 -08:00
2022-01-27 16:48:11 -08:00
2022-01-21 07:14:56 -08:00
2022-01-20 18:28:18 -08:00
2022-02-02 07:07:17 +03:00
2022-01-30 14:58:55 -08:00
2022-02-02 07:07:17 +03:00
2022-02-02 07:07:17 +03:00
2022-02-02 07:07:17 +03:00
2022-01-26 13:54:02 -08:00
2021-12-15 09:13:06 -08:00
2021-12-22 16:35:12 -07:00
2021-12-20 11:33:02 +01:00
2022-01-24 16:49:01 -08:00
cd84df54bf