1  
       2  template<typename _Tp>
       3  struct is_nothrow_move_constructible
       4  {
       5    static constexpr bool value = false;
       6  };
       7  
       8  template<typename _Head>
       9  struct _Tuple_impl
      10  {
      11    _Tuple_impl () noexcept(is_nothrow_move_constructible<_Head>::value)
      12   { }
      13  };
      14  
      15  template<typename T>
      16  void TPL (_Tuple_impl<T> &) noexcept
      17  {
      18    _Tuple_impl<T> m;
      19  }
      20  
      21  inline void foo (_Tuple_impl<int> &p)
      22  {
      23    TPL<int> (p);
      24  }