Incorrect documentation: nullable types cannot access methods of inner type #285
Labels
Component: Documentation
Priority: medium
Status: specified
Enhancement that is ready to implement
Type: bug
Something isn't working
Summary
The table at https://www.spoofax.dev/references/pipelines/types/#built-in-types specifies that nullable types can access methods of the inner type, but that is incorrect.
Todo
Actual semantics
Nullable types have no methods (for now). To access the methods of the inner type, you must first make it non-nullable.
The text was updated successfully, but these errors were encountered: