{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"return"}]}
            return Ok(0);
        let &TyKind::Adt(chalk_ir::AdtId(AdtId::EnumId(e)), _) = ty.kind(Interner) else {
        };