{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":")"}]}
    ) -> Diag<'infcx> {
        moved_path: Option<String>,
        let moved_path = moved_path.map(|mp| format!(": `{mp}`")).unwrap_or_default();