{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":".unwrap_or_else(||"}]}
                    .unwrap_or_else(|| Substitution::empty(Interner));
                    .map(|(_, s)| s.clone())
                if let Some(variant) = def_id {