Подскажите, что происходит во второй строке кода

template < typename A> struct BL { typedef A CL; } ;
template < typename D>  struct BL<D>:: CL E();

#include <iostream>
template < typename A> struct BL { typedef A CL; } ;
template < typename D>  typename BL<D>::CL E();
 
template < typename D>  typename BL<D>::CL E()
{
    return (typename BL<D>::CL){};
}
 
int main()
{
    auto obl = E<int>();
    std::cout << "Hello, world!\n";
}

#include <iostream>
#include <string>
template < typename A> struct BL { typedef A CL; } ;
template < typename D>  struct BL<D>::CL E();
 
template < typename D>  struct BL<D>::CL E()
{
 
    return typename BL<D>::CL();
}
 
int main()
{
    //auto obi = E<int>(); // error при struct BL<D>::CL E()
    auto obs = E<std::string>();
    std::cout << "Hello, world!\n";
}

template <typename A> struct BL { typedef A CL; };
template <typename D> struct BL<D>::CL E() {}
 
struct S {};
 
int main()
{
  E<S>();
}

template <typename A> struct BL { typedef A CL; };
template <typename D> struct BL<D>::CL E() {}
 
template <> struct BL<int> { struct CL {}; } ;
 
int main()
{
  E<int>();
}

#include <iostream>
 
template <typename T> struct Helper
{
  using type = T;
};
 
template <typename T, unsigned = sizeof(T *)> struct is_class_type
{ 
  static constexpr bool value = false;
};
 
template <typename T> struct is_class_type<T, sizeof(struct Helper<T>::type *)> 
{ 
  static constexpr bool value = true;
};
 
class X;
union Y;
 
int main()
{
  std::cout << is_class_type<int>::value << std::endl;
  std::cout << is_class_type<X>::value << std::endl;
  std::cout << is_class_type<Y>::value << std::endl;
}