{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"Some(uty)"}]}
            Some(uty) => {
        let (element_ty, t) = match uty {
                self.check_expr_coercible_to_type(element, uty, None);