feat: use bounds of type system where possible#899

Merged

lars-reimann merged 3 commits intomainfrom type-checker-update

Feb 20, 2024

+111-37

Commits on Feb 20, 2024

feat: isSubtypeOf always returns true if 1. op is Nothing or 2. op is Any?
lars-reimann
committed
feat: LCS returns Any or Any? instead of $unknown
lars-reimann
committed
test: ignore safeguard for coverage
lars-reimann
committed