{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"Some(adt)"}]}
                        Some(adt) => TyBuilder::adt(self.db, adt).push(ty).build(),
                    (RangeOp::Exclusive, Some(_), Some(ty)) => match self.resolve_range() {
                        None => self.err_ty(),