{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"ty.error_reported()?;"}]}
                        ty.error_reported()?;
                        // Avoid showing "{type error}" to users. See #118179.