SFINAE enable_if для шаблона идеальной пересылки с переменным числом аргументов при константности ссылки/указателя

Я хочу создать вариативную оболочку make_shared<T> с идеальной переадресацией, но такую, которая SFINAEd в зависимости от того, принимает ли конструктор T какие-либо неконстантные аргументы ссылки/указателя. Идея состоит в том, чтобы иметь две оболочки, называемые construct и construct_nonconst, где при построении Foo(int& r) или Foo(int* r) необходимо использовать последнюю. Цель этого состоит в том, чтобы когда разработчики пишут классы, конструкторы которых требуют неконстантных параметров, они могли это сделать, но на месте вызова ясно видно, что конструкция может иметь локальные побочные эффекты.

Я просмотрел Реализация признаков вариативного типа и поиграл с is_constructible (я пытался преобразовать свои Args ... пакет параметров для всех версий const), но я не могу понять это.

Желаемый результат:

struct NonConst
{
  NonConst(int& uhOh)
  {
    uhOh = 2;
  }
};

struct Const
{
  Const(const int& noProblemo)
  {
    // ...
  }
};

struct ByValueStr
{
  ByValueStr(std::string noProblemo)
  {
    // ...
  }
};

int x = 5;
const int y = 5;
std::string s("foo")

auto nc1 = builder<NonConst>::construct(x); // this doesn't compile
auto nc2 = builder<NonConst>::construct_nonconst(x); // fine, but noticeable
auto c1 = builder<Const>::construct(x); // fine
auto c2 = builder<ByValueStr>::construct(s); // fine