Fix optional argument type matching

[Ph0enixKM]

Currently declaring this function throws an error:

fun foo(arg: [] = [1, 2]) {

}

Even though this should work completely fine. The optional value is a subset of the argument type.

[Mte90]

maybe a test for this?
that just print succedeed?

Also I see that a lot of tests fails

[Ph0enixKM]

@Mte90 I'm still working on it. I'll convert to draft to avoid confusion

[mks-h]

Oops, totally a mistake of mine 😅

[Ph0enixKM]

@mks-h no worries! It's a quick fix. I stumbled upon it when I was working on Amber's new marketing materials

[mks-h]

Lets move the test for Generic "other" type into is_subset_of as the first match arm, and leave is_allowed_in intact. And +1 for validity tests on this.

[hdwalters]

Approved with suggestions.