2 commits

Author	SHA1	Message	Date
Oli Scherer	ba4510ece8	Allow constraining opaque types during subtyping in the trait system	2024-06-19 08:29:17 +00:00
Oli Scherer	526090b901	Add regression tests	2024-05-24 14:01:49 +00:00