[Bug c++/86098] canonical types differ for identical types

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86098

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |jason at gcc dot gnu.org
            Summary|[concepts] canonical types  |canonical types differ for
                   |differ for identical types  |identical types

--- Comment #1 from Jason Merrill <jason at gcc dot gnu.org> ---
A reduced testcase that doesn't involve concepts:

template <class _Res> class future;
template <class T> T&& declval();

template<template <class...> class T>
struct construct_deduced {
  template <class... AN>
  using deduced_t = decltype(T{declval<AN>()...});
  template<class... AN>
  deduced_t<AN...> operator()(AN&&... an) const;
};

template<class T>
future<T> future_from(T singleSender);