Is use in a default member initializer still an odr-use, even if the default member initializer is not used by any constructor? For example, is this program ill-formed because g<A> is odr-use...

The question in the title is clear enough. To be more specific, consider the following example: #include <type_traits> template <typename T> struct is_complete_helper { template <...

template<typename T> struct a { using type = int; typename T::type i; }; template<typename T, typename = a<T>> void f1(T) {} template<typename T, typename = typename a&lt...