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