diff --git a/regression-tests/mixed-type-safety-1.cpp2 b/regression-tests/mixed-type-safety-1.cpp2
index 6ebe5795a..890471c2e 100644
--- a/regression-tests/mixed-type-safety-1.cpp2
+++ b/regression-tests/mixed-type-safety-1.cpp2
@@ -10,8 +10,9 @@ class Square : public Shape { };
 
 //--- printing helpers -----------------
 
-print: <T : type> ( msg: std::string, x: T ) 
-       requires !std::convertible_to<T, bool> =
+non_bool: <T> concept = !std::convertible_to<T, bool>;
+
+print: <T : non_bool> ( msg: std::string, x: T ) =
     std::cout << msg << x << "\n";
 
 print: ( msg: std::string, b: bool ) =
diff --git a/regression-tests/test-results/gcc-10-c++20/mixed-type-safety-1.cpp.output b/regression-tests/test-results/gcc-10-c++20/mixed-type-safety-1.cpp.output
deleted file mode 100644
index 06f8418b3..000000000
--- a/regression-tests/test-results/gcc-10-c++20/mixed-type-safety-1.cpp.output
+++ /dev/null
@@ -1,5 +0,0 @@
-/usr/bin/ld: /tmp/ccSlwpC6.o: in function `main':
-mixed-type-safety-1.cpp:(.text+0x327): undefined reference to `void print<std::integral_constant<bool, false> >(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::integral_constant<bool, false> const&)'
-/usr/bin/ld: mixed-type-safety-1.cpp:(.text+0x388): undefined reference to `void print<std::integral_constant<bool, true> >(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::integral_constant<bool, true> const&)'
-/usr/bin/ld: mixed-type-safety-1.cpp:(.text+0x422): undefined reference to `void print<std::integral_constant<bool, true> >(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::integral_constant<bool, true> const&)'
-collect2: error: ld returned 1 exit status
diff --git a/regression-tests/test-results/mixed-type-safety-1.cpp b/regression-tests/test-results/mixed-type-safety-1.cpp
index 203c34e9b..e9b1058dc 100644
--- a/regression-tests/test-results/mixed-type-safety-1.cpp
+++ b/regression-tests/test-results/mixed-type-safety-1.cpp
@@ -24,13 +24,14 @@ class Square : public Shape { };
 //--- printing helpers -----------------
 
 #line 13 "mixed-type-safety-1.cpp2"
-template<typename T> auto print(cpp2::impl::in<std::string> msg, T const& x) -> void
-CPP2_REQUIRES (!(std::convertible_to<T,bool>)) ;
+template<typename T> concept non_bool = !(std::convertible_to<T,bool>); 
 
-#line 17 "mixed-type-safety-1.cpp2"
+template<non_bool T> auto print(cpp2::impl::in<std::string> msg, cpp2::impl::in<T> x) -> void;
+
+#line 18 "mixed-type-safety-1.cpp2"
 auto print(cpp2::impl::in<std::string> msg, cpp2::impl::in<bool> b) -> void;
 
-#line 25 "mixed-type-safety-1.cpp2"
+#line 26 "mixed-type-safety-1.cpp2"
 //--- examples -------------------------
 
 [[nodiscard]] auto main() -> int;
@@ -39,14 +40,11 @@ auto print(cpp2::impl::in<std::string> msg, cpp2::impl::in<bool> b) -> void;
 
 #line 1 "mixed-type-safety-1.cpp2"
 
-#line 13 "mixed-type-safety-1.cpp2"
-template<typename T> auto print(cpp2::impl::in<std::string> msg, T const& x) -> void
-requires (!(std::convertible_to<T,bool>))  { 
-
 #line 15 "mixed-type-safety-1.cpp2"
+template<non_bool T> auto print(cpp2::impl::in<std::string> msg, cpp2::impl::in<T> x) -> void { 
     std::cout << msg << x << "\n";  }
 
-#line 17 "mixed-type-safety-1.cpp2"
+#line 18 "mixed-type-safety-1.cpp2"
 auto print(cpp2::impl::in<std::string> msg, cpp2::impl::in<bool> b) -> void
 {
     cpp2::impl::deferred_init<char const*> bmsg; 
@@ -55,7 +53,7 @@ auto print(cpp2::impl::in<std::string> msg, cpp2::impl::in<bool> b) -> void
     std::cout << msg << cpp2::move(bmsg.value()) << "\n";
 }
 
-#line 27 "mixed-type-safety-1.cpp2"
+#line 28 "mixed-type-safety-1.cpp2"
 [[nodiscard]] auto main() -> int
 {
     ::print("1.1 is int? ", cpp2::impl::is<int>(1.1));