Michael Goulet
|
90e3aaeca2
|
Remove incomplete features from RPITIT/AFIT tests
|
2023-10-24 15:27:06 +00:00 |
|
Michael Goulet
|
59315b8a63
|
Stabilize AFIT and RPITIT
|
2023-10-13 21:01:36 +00:00 |
|
Michael Goulet
|
e10262ca0a
|
Implement refinement lint for RPITIT
|
2023-09-07 00:49:09 +00:00 |
|
Michael Goulet
|
f8e0dcbf56
|
Better error message for object type with GAT
|
2023-08-28 01:05:34 +00:00 |
|
Michael Goulet
|
32a9565223
|
Bless tests
|
2023-08-28 01:05:34 +00:00 |
|
Santiago Pastorino
|
20429af7a3
|
Replace RPITIT current impl with new strategy that lowers as a GAT
|
2023-07-08 18:21:34 -03:00 |
|
Santiago Pastorino
|
8b9344acc3
|
Fix object safety checks for new RPITITs
|
2023-03-12 10:51:20 -03:00 |
|
Albert Larsan
|
cf2dff2b1e
|
Move /src/test to /tests
|
2023-01-11 09:32:08 +00:00 |
|