Wu Yuanwei
Wu Yuanwei
And the last [example](https://rescript-lang.org/try?version=v11.0.0&code=PTAEAsBdIBwZwFwgE4FM4GNkEsaQLQA2AhgHYDmAdAPbLnAAm1GcwAtmQK7GHAmTpIwNBloMAxCLH5IATxip8o1MgzZqpAFByFoYqAC8oAN6bQoUsTaoEoOJBwUANJrOgQoDqQbFItWU6gAEackKCoAB4whNhqkISyoDqoDHpwoNR46qQAPNikkAB8bsTkNhlZGnkFhS4Avq7JwYYmbpbWtvaO5C7mHpmQ2TygAGbYqIQMJWUA-Lb5kPWuhKhh7agAYsjUbABCLQAUQbZBAJSGhcGU68urerb6Rqbm67YARAByVqhvvXpltgAyjtUAcAMwAVlOS00KzW3xa6y2O12B30CEuZyAA) in the ‘[Record Type Coercion](https://rescript-lang.org/docs/manual/latest/record#record-type-coercion)’ section seems not to work. ``` type a = { name: string, // mandatory, but explicitly typed as option age: option,...