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