JSMonk / hegel

An advanced static type checker
https://hegel.js.org
MIT License
2.1k stars 59 forks source link

$Partial converts soft type into strict #135

Closed srg-kostyrko closed 4 years ago

srg-kostyrko commented 4 years ago

https://hegel.js.org/try#C4TwDgpgBAqgzhATlAvFA3gKClAdgQwFsIAuKOYRAS1wHMAabKfW0vAV0ICMlGcA6QZgC+AbkwAzdrgDGwKgHtcUMPmAyAFgAoF1WjXwAbMvF5R2YACZqIcMgBIACvkTyjAHlOIAfAEoTCMhYOIgQwOyIysE4eERsFtbAtvwExFAAPulQulT6BIYpcXwxLPFWNnD8pRlZOXlGVaxMYiKYMkoU2XoGxrCBqBixxGQARHU9QxAj9MysZABMAAwzcFQAXmzzUC3tuJ0KhpZIXgOq6trj+TPo5OubW8K+olAA9C94ClBIiLpQGkgQIA

JSMonk commented 4 years ago

Thank you for contribution ^_^