{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":".param_env"}]}
                .param_env
            self.infcx
                .and(type_op::ascribe_user_type::AscribeUserType { mir_ty, user_ty }),