Superscripts corresponds to marks, resolved weak types
corresponds to the set of different possible types for the term,
while C-Err indicates the constraint solving is stuck.
Diagnostics
Click the "Type Check" button.
Click the "Type Check" button.
Diagnostics
Click the "Type Check" button.
Click the "Type Check" button.
Diagnostics
Click the "Type Check" button.
Click the "Type Check" button.
Diagnostics
Click the "Type Check" button.
JavaScript Code
Click the "Type Check" button.
Diagnostics
Click the "Type Check" button.