// { dg-additional-options "-fmodules-ts" }

export module foo;
// { dg-module-cmi foo }

template<typename _Tp, _Tp __v>
struct integral_constant;

template<typename _From, typename _To, bool>
struct __is_nt_convertible_helper;

template<typename _From, typename _To>
class __is_nt_convertible_helper<_From, _To, false>
{
  template<typename _To1>
  static void __test_aux(_To1) noexcept;
  
  template<typename _From1, typename _To1>
  static
  integral_constant<bool, noexcept(__test_aux<_To1> (_From1 ()))>
  __test(int);
};