Using .call on a known function type should not be a dynamic call #26812
Labels
legacy-area-analyzer
Use area-devexp instead.
P2
A bug or feature request we're likely to work on
type-bug
Incorrect behavior (everything from a crash to more subtle misbehavior)
This code:
gets no errors or warnings in strong mode. Since we know the type of
f
, which should treat this as a regular call, and issue an error.The text was updated successfully, but these errors were encountered: