{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"//"}]}
    // label and arguments from the InterpError.
    // FIXME(fee1-dead), HACK: we want to use the error as title therefore we can just extract the
    #[allow(rustc::untranslatable_diagnostic)]