This: https://github.com/rescript-lang/syntax/pull/540 And this: https://github.com/rescript-lang/syntax/pull/542 Or else, the extension will crash on those inputs