summaryrefslogtreecommitdiff
path: root/test/gtest/type-test.h
Commit message (Expand)AuthorAgeFilesLines
* Remove the nominal type system (#5672)Thomas Lively2023-04-171-15/+2
* Remove equirecursive typing (#5240)Thomas Lively2022-11-231-1/+0
* Change `TypeTest` to use isorecursive types (#4540)Thomas Lively2022-03-221-1/+1
* [NFC] Move type system test fixture to its own header (#4539)Thomas Lively2022-03-221-0/+40