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