Default value is not validated when deconstruction is used #8972
Labels
bug
Typing: soundness
No false negatives (type checker claims that there is no error in the incorrect program)
Flow version: 0.196.1
Expected behavior
Default value is validated against literal values
Actual behavior
Default value is not validated and
https://flow.org/try/#0PQKgBAAgZgNg9gdzCYAoVxhgCQFEAeADgKYDGALrgE5VxVgB2AhgLbFgAmxUTArjOTAA3JjF7sAzgAs4-DmABG7ETACWHJuWIdUUXgwqq4DMAHNi5AMJx4VAEwAKAN7M2YALxgA5Bwm+OXgC+AFwurMTBYABEErykpMQSElFgAD7RCExUDKoMpinpURp5xFRRgQCUYE6oYGASCKrkpFJgDq7EVTV1daRMEuwxcQlJKZFUFrzZ0aYTxAxRANy1PX0DGVk5eWNgE+RTJlEAnsQw8AhLK739g8XmZXXjk9NRExyXdYGoX+jmVjZ0RxhNiRIbxRLJSqLMCYMAAdToAGsJABCVB-ay2IEdYJFJglMpQuqwhFUZFo2F4IhkSg0OjoiyYwHOHFRUq0QkVaHErDUDkooA
The text was updated successfully, but these errors were encountered: