
template<typename _Tp>
struct is_nothrow_move_constructible
{
  static constexpr bool value = false;
};

template<typename _Head>
struct _Tuple_impl
{
  _Tuple_impl () noexcept(is_nothrow_move_constructible<_Head>::value)
 { }
};

template<typename T>
void TPL (_Tuple_impl<T> &) noexcept
{
  _Tuple_impl<T> m;
}

inline void foo (_Tuple_impl<int> &p)
{
  TPL<int> (p);
}