From 8ae90d7c7bb4f02a0f192b250fb037fc21ca5003 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Johel=20Ernesto=20Guerrero=20Pe=C3=B1a?=
 <johelegp@gmail.com>
Date: Tue, 4 Jul 2023 17:51:16 -0400
Subject: [PATCH] test: fix test case to match intention as commented

---
 regression-tests/pure2-optional-typename.cpp2             | 3 ++-
 regression-tests/test-results/pure2-optional-typename.cpp | 5 +++--
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/regression-tests/pure2-optional-typename.cpp2 b/regression-tests/pure2-optional-typename.cpp2
index 696850e36..832e3c315 100644
--- a/regression-tests/pure2-optional-typename.cpp2
+++ b/regression-tests/pure2-optional-typename.cpp2
@@ -13,7 +13,8 @@ f: <T, V: T::value_type> (x: T::value_type) -> T::value_type = {
   // Emitted `template`.
   ptr: type  == * T;                                   // Needed, pending #502.
   type: type == std::pointer_traits<ptr>::rebind<ptr>; // Type-only context.
-  _ = :std::pointer_traits<ptr>::rebind<ptr> = ();     // Non type-only context.
+  // Uncomment once `typename` is supported for template arguments.
+  // _ = :identity<typename std::pointer_traits<ptr>::rebind<ptr>> = (); // Non type-only context.
 
   // Aliases.
   w: type == T;
diff --git a/regression-tests/test-results/pure2-optional-typename.cpp b/regression-tests/test-results/pure2-optional-typename.cpp
index 9cb3dc1bb..0e0766cc0 100644
--- a/regression-tests/test-results/pure2-optional-typename.cpp
+++ b/regression-tests/test-results/pure2-optional-typename.cpp
@@ -15,7 +15,7 @@ template<typename T> using identity = T;
 template<typename T, typename T::value_type V> [[nodiscard]] auto f(cpp2::in<typename T::value_type> x) -> typename T::value_type;
   
 
-#line 36 "pure2-optional-typename.cpp2"
+#line 37 "pure2-optional-typename.cpp2"
 auto main() -> int;
   
 
@@ -37,7 +37,8 @@ template<typename T, typename T::value_type V> [[nodiscard]] auto f(cpp2::in<typ
   // Emitted `template`.
   using ptr = T*;                                      // Needed, pending #502.
   using type = typename std::pointer_traits<ptr>::template rebind<ptr>;// Type-only context.
-  (void) typename std::pointer_traits<ptr>::template rebind<ptr>{};// Non type-only context.
+  // Uncomment once `typename` is supported for template arguments.
+  // _ = :identity<typename std::pointer_traits<ptr>::rebind<ptr>> = (); // Non type-only context.
 
   // Aliases.
   using w = T;