My point is that type error recovery is the property of the type system. Not the property of structural code editor.