[over.match.class.deduct] Simplify example

Author: opensdh

source/overloading.tex

@@ -1726,15 +1726,10 @@
 D d1 = {1, 2};                  // error: deduction failed
 D d2 = {1, 2, 3};               // OK, braces elided, deduces \tcode{D<int>}
 
-template <typename T>
-struct I {
-  using type = T;
-};
-
 template <typename T>
 struct E {
-  typename I<T>::type i;
   T t;
+  decltype(t) t2;
 };
 
 E e1 = {1, 2};                  // OK, deduces \tcode{E<int>}