Commit Graph

5 Commits

Author SHA1 Message Date
lcnr 0a5f7a021d add tests for unsound subtype handling 2023-06-19 09:01:29 +02:00
Michael Goulet 6c65b6865b Check freeze with right param-env 2023-04-16 23:09:57 +00:00
Michael Goulet 60caac780b Erase impl regions when checking for impossible to eagerly monomorphize items 2023-03-28 02:07:35 +00:00
Michael Goulet c39efdcbc1 Don't codegen impossible to satisfy impls 2023-03-14 16:19:57 +00:00
Albert Larsan 8f6b5d4e26 Move /src/test to /tests 2023-01-11 09:32:08 +00:00