Fix a C++23 template specialization issue

Author: jarzec

regression-tests/mixed-type-safety-1.cpp2

@@ -26,12 +26,12 @@ print: ( msg: std::string, b: bool ) =
 
 main: () -> int = 
 {
-    print( "1.1 is int? ", 1.1 is int );
-    print( "1   is int? ", 1   is int );
+    ::print( "1.1 is int? ", 1.1 is int );
+    ::print( "1   is int? ", 1   is int );
 
     c := new<Circle>();     // safe by construction
     s : * Shape = c.get();  // safe by Lifetime
-    print("\ns* is Shape?  ", s* is Shape  );
-    print(  "s* is Circle? ", s* is Circle );
-    print(  "s* is Square? ", s* is Square );
+    ::print("\ns* is Shape?  ", s* is Shape  );
+    ::print(  "s* is Circle? ", s* is Circle );
+    ::print(  "s* is Square? ", s* is Square );
 }

regression-tests/pure2-type-safety-1.cpp2

@@ -23,7 +23,7 @@ main: () -> int =
 
 test_generic: ( x, msg ) = {
     msgx: std::string = msg;
-    print( msgx + " is int? ", x is int );
+    ::print( msgx + " is int? ", x is int );
 }
 
 print: ( msg: std::string, b: bool ) = {

regression-tests/test-results/clang-18-c++23-libcpp/mixed-type-safety-1.cpp.output

@@ -58,13 +58,13 @@ auto print(cpp2::impl::in<std::string> msg, cpp2::impl::in<bool> b) -> void
 #line 27 "mixed-type-safety-1.cpp2"
 [[nodiscard]] auto main() -> int
 {
-    print("1.1 is int? ", cpp2::impl::is<int>(1.1));
-    print( "1   is int? ", cpp2::impl::is<int>(1));
+    ::print("1.1 is int? ", cpp2::impl::is<int>(1.1));
+    ::print( "1   is int? ", cpp2::impl::is<int>(1));
 
     auto c {cpp2_new<Circle>()}; // safe by construction
     Shape* s {CPP2_UFCS(get)(cpp2::move(c))}; // safe by Lifetime
-    print("\ns* is Shape?  ", cpp2::impl::is<Shape>(*cpp2::impl::assert_not_null(s)));
-    print(  "s* is Circle? ", cpp2::impl::is<Circle>(*cpp2::impl::assert_not_null(s)));
-    print(  "s* is Square? ", cpp2::impl::is<Square>(*cpp2::impl::assert_not_null(cpp2::move(s))));
+    ::print("\ns* is Shape?  ", cpp2::impl::is<Shape>(*cpp2::impl::assert_not_null(s)));
+    ::print(  "s* is Circle? ", cpp2::impl::is<Circle>(*cpp2::impl::assert_not_null(s)));
+    ::print(  "s* is Square? ", cpp2::impl::is<Square>(*cpp2::impl::assert_not_null(cpp2::move(s))));
 }
 

regression-tests/test-results/clang-18-c++23-libcpp/pure2-type-safety-1.cpp.output

@@ -1,12 +1 @@
 pure2-type-safety-1.cpp
-pure2-type-safety-1.cpp2(26): error C2666: 'print': overloaded functions have similar conversions
-pure2-type-safety-1.cpp2(29): note: could be 'void print(const std::string &,const bool)'
-C:\Program Files\Microsoft Visual Studio\2022\Community\VC\Tools\MSVC\14.40.33807\include\print(125): note: or       'void std::print<std::false_type>(const std::basic_format_string<char,std::integral_constant<bool,false>>,std::false_type &&)' [found using argument-dependent lookup]
-pure2-type-safety-1.cpp2(26): note: while trying to match the argument list '(std::basic_string<char,std::char_traits<char>,std::allocator<char>>, std::false_type)'
-pure2-type-safety-1.cpp2(26): note: the template instantiation context (the oldest one first) is
-pure2-type-safety-1.cpp2(8): note: see reference to function template instantiation 'void test_generic<double,char[7]>(const _T0 &,const _T1 (&))' being compiled
-        with
-        [
-            _T0=double,
-            _T1=char [7]
-        ]

regression-tests/test-results/gcc-14-c++2b/pure2-type-safety-1.cpp.output

@@ -55,7 +55,7 @@ auto print(cpp2::impl::in<std::string> msg, cpp2::impl::in<bool> b) -> void;
 #line 24 "pure2-type-safety-1.cpp2"
 auto test_generic(auto const& x, auto const& msg) -> void{
     std::string msgx {msg}; 
-    print(cpp2::move(msgx) + " is int? ", cpp2::impl::is<int>(x));
+    ::print(cpp2::move(msgx) + " is int? ", cpp2::impl::is<int>(x));
 }
 
 #line 29 "pure2-type-safety-1.cpp2"