ouz-a
|
cc2240ef81
|
Remove assert that checks type equality
|
2023-09-13 08:44:56 -04:00 |
|
lcnr
|
c5943307ec
|
add tests for unsound subtype handling
|
2023-06-19 09:01:29 +02:00 |
|
Michael Goulet
|
e28e19034f
|
Check freeze with right param-env
|
2023-04-16 23:09:57 +00:00 |
|
Michael Goulet
|
e3b0a728b4
|
Erase impl regions when checking for impossible to eagerly monomorphize items
|
2023-03-28 02:07:35 +00:00 |
|
Michael Goulet
|
b36bbb0266
|
Don't codegen impossible to satisfy impls
|
2023-03-14 16:19:57 +00:00 |
|
Albert Larsan
|
cf2dff2b1e
|
Move /src/test to /tests
|
2023-01-11 09:32:08 +00:00 |
|