Describe the bug
Considering the match in the fragment above, the variable n should get the type of D and the field access should type check fine. However, the hover suggests that n has type &A (i.e., the declared type parameter in the Maybe ADT) and the field access is not accepted by the type checker.
Interestingly, an assignment of n to a variable of type D is not flagged by the type checker.
Desktop (please complete the following information):
- VS Code 0.13.6-head4430 (with Rascal 0.43.0-RC14)
Describe the bug
Considering the match in the fragment above, the variable
nshould get the type ofDand the field access should type check fine. However, the hover suggests thatnhas type&A(i.e., the declared type parameter in theMaybeADT) and the field access is not accepted by the type checker.Interestingly, an assignment of
nto a variable of typeDis not flagged by the type checker.Desktop (please complete the following information):