fix: subtype check for literal and union types

[lars-reimann]

Summary of Changes

Previously, the type checker incorrectly showed an error in the following program at the call marked with the arrow:

package bug

@Pure fun bug1(p: union<Int, String>)
@Pure fun bug2() -> r: literal<1, "">

pipeline bug3 {
    val a = bug2();
    bug1(a); // <----
}

This was caused because the quantifiers when comparing literal and union types were in the wrong order:

• We checked whether there was an option in the union type that all constants of the literal type could be assigned to.
• Now we check whether, for each constant of the literal type, there is an option in the union type they could be assigned to.

[github-actions]

🦙 MegaLinter status: ✅ SUCCESS

Descriptor	Linter	Files	Fixed	Errors	Elapsed time
✅ REPOSITORY	git_diff	yes		no	0.14s
✅ TYPESCRIPT	eslint	2	0	0	4.5s
✅ TYPESCRIPT	prettier	2	0	0	0.95s

See detailed report in MegaLinter reports
Set VALIDATE_ALL_CODEBASE: true in mega-linter.yml to validate all sources, not only the diff

MegaLinter is graciously provided by

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 99.72%. Comparing base (3880bfe) to head (112cb9b).
Report is 19 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #1288   +/-   ##
=======================================
  Coverage   99.72%   99.72%           
=======================================
  Files         114      114           
  Lines       12801    12805    +4     
  Branches     4205     4208    +3     
=======================================
+ Hits        12766    12770    +4     
  Misses         35       35           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[lars-reimann]

🎉 This PR is included in version 0.23.0 🎉

The release is available on:

• npm package (@latest dist-tag)
• npm package (@latest dist-tag)
• v0.23.0
• GitHub release

Your semantic-release bot 📦🚀