{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"if"}]}
            if self.type_is_copy_modulo_regions(self.param_env, first_ty)
            // 2. second element is an integer literal or is a const value of type `usize`
                && (expr.is_size_lit() || expr_is_const_usize)