test: add lookup test case

Author: JohelEGP

regression-tests/pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp2

@@ -86,6 +86,20 @@ main: () = {
   _ = :<T> () = { _ = :() = { _ = :(x: T::value_type) = { _ = :() = {}; }; }; };
   _ = :<T> () = { _ = :(x: T::value_type) = { _ = :() = { _ = :() = {}; }; }; };
   _ = :<T> (x: T::value_type) = { _ = :() = { _ = :() = { _ = :() = {}; }; }; };
+
+  // Lookup.
+  {
+    alias: type == std::integral_constant<i32, 0>;
+    _ = :alias::value_type = 0; // Non-dependent.
+  }
+  _ = :<T> (_: T) = {
+    alias: type == std::integral_constant<T, 0>;
+    _ = :alias::value_type = 0; // Dependent.
+    {
+      alias: type == std::integral_constant<i32, 0>;
+      _ = :alias::value_type = 0; // Non-dependent.
+    }
+  }(0);
 }
 
 v: <T> type = {

regression-tests/test-results/pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp

@@ -11,7 +11,7 @@
 template<typename T> class t;
 
 
-#line 91 "pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp2"
+#line 105 "pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp2"
 template<typename T> class v;
 
 
@@ -45,15 +45,15 @@ template<typename T> auto id(cpp2::in<std::integral_constant<cpp2::i32,T::value>
 auto main() -> int;
 
 
-#line 91 "pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp2"
+#line 105 "pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp2"
 template<typename T> class v {
   public: explicit v(T const& x);
-#line 92 "pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp2"
+#line 106 "pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp2"
   public: auto operator=(T const& x) -> v& ;
 
   public: v(v const&) = delete; /* No 'that' constructor, suppress copy */
   public: auto operator=(v const&) -> void = delete;
-#line 93 "pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp2"
+#line 107 "pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp2"
 };
 
 
@@ -138,13 +138,27 @@ auto main() -> int{
   (void) []<typename T>() -> void{(void) []() -> void{(void) [](cpp2::in<typename T::value_type> x) -> void{(void) []() -> void{}; }; }; };
   (void) []<typename T>() -> void{(void) [](cpp2::in<typename T::value_type> x) -> void{(void) []() -> void{(void) []() -> void{}; }; }; };
   (void) []<typename T>(cpp2::in<typename T::value_type> x) -> void{(void) []() -> void{(void) []() -> void{(void) []() -> void{}; }; }; };
+
+  // Lookup.
+  {
+    using alias = std::integral_constant<cpp2::i32,0>;
+    (void) alias::value_type{0};// Non-dependent.
+  }
+  (void) []<typename T>(T const& _) -> void{
+    using alias = std::integral_constant<T,0>;
+    (void) typename alias::value_type{0};// Dependent.
+    {
+      using alias = std::integral_constant<cpp2::i32,0>;
+      (void) typename alias::value_type{0};// Non-dependent.
+    }
+  }(0);
 }
 
-#line 92 "pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp2"
+#line 106 "pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp2"
   template <typename T> v<T>::v(T const& x){}
-#line 92 "pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp2"
+#line 106 "pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp2"
   template <typename T> auto v<T>::operator=(T const& x) -> v& {
                                   return *this;
-#line 92 "pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp2"
+#line 106 "pure2-bugfix-for-dependent-types-and-deducible-parameters.cpp2"
   }