Closed mtshiba closed 1 year ago
This code should also be passed.
j: {Int; 2} = !{1, 2}
but:
Error[#0052]: File <stdin>, line 1, in <module>
1│ j: {Int; 2} = !{1, 2}
^
TypeError: the type of j is mismatched:
expected: Set(Int, Nat(2))
but found: Set!((?T(<: {Nat(2), Nat(1), }(cyclicity: Not))[0]), !Nat(2))
It seems that Set!
is not recognized as a subtype of Set
.
Reproducible code
Expected behavior Passed.
Result