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