Simplify some templates

jasnell · jasnell · commit eefbed1bb558 · 2025-11-26T13:35:30.000-08:00
diff --git a/src/workerd/jsg/jsvalue.h b/src/workerd/jsg/jsvalue.h
@@ -713,18 +713,21 @@ inline kj::String KJ_STRINGIFY(const JsValue& value) {
   return value.toString(jsg::Lock::current());
 }
 
+template <typename T>
+concept JsValueType = std::is_assignable_v<JsValue, T>;
+
 template <typename TypeWrapper>
 struct JsValueWrapper {
 #define TYPES_TO_WRAP(V)                                                                           \
   V(Value)                                                                                         \
   JS_TYPE_CLASSES(V)
 
-  template <typename T, typename = kj::EnableIf<std::is_assignable_v<JsValue, T>>>
+  template <JsValueType T>
   static constexpr const std::type_info& getName(T*) {
     return typeid(T);
   }
 
-  template <typename T, typename = kj::EnableIf<std::is_assignable_v<JsValue, T>>>
+  template <JsValueType T>
   static constexpr const std::type_info& getName(JsRef<T>*) {
     return typeid(T);
   }
@@ -742,7 +745,7 @@ struct JsValueWrapper {
   TYPES_TO_WRAP(V)
 #undef V
 
-  template <typename T, typename = kj::EnableIf<std::is_assignable_v<JsValue, T>>>
+  template <JsValueType T>
   kj::Maybe<T> tryUnwrap(Lock& js,
       v8::Local<v8::Context> context,
       v8::Local<v8::Value> handle,
@@ -763,7 +766,7 @@ struct JsValueWrapper {
     }
   }
 
-  template <typename T, typename = kj::EnableIf<std::is_assignable_v<JsValue, T>>>
+  template <JsValueType T>
   kj::Maybe<JsRef<T>> tryUnwrap(Lock& js,
       v8::Local<v8::Context> context,
       v8::Local<v8::Value> handle,
diff --git a/src/workerd/jsg/util.h b/src/workerd/jsg/util.h
@@ -482,6 +482,9 @@ inline bool isFinite(double value) {
   return !(kj::isNaN(value) || value == kj::inf() || value == -kj::inf());
 }
 
+template <typename T>
+concept StrictlyBool = kj::isSameType<T, bool>();
+
 // ======================================================================================
 
 class Lock;
diff --git a/src/workerd/jsg/value.h b/src/workerd/jsg/value.h
@@ -24,7 +24,6 @@ namespace workerd::jsg {
 
 // =======================================================================================
 // Primitives (numbers, booleans)
-
 // TypeWrapper mixin for numbers and booleans.
 //
 // This wrapper has extra wrap() overloads that take an isolate instead of a
@@ -375,15 +374,15 @@ class PrimitiveWrapper {
     return "boolean";
   }
 
-  template <typename T, typename = kj::EnableIf<kj::isSameType<T, bool>()>>
+  template <StrictlyBool T>
   v8::Local<v8::Boolean> wrap(
       Lock& js, v8::Local<v8::Context> context, kj::Maybe<v8::Local<v8::Object>> creator, T value) {
     // The template is needed to prevent this overload from being chosen for arbitrary types that
     // can convert to bool, such as pointers.
     return wrap(js.v8Isolate, creator, value);
   }
 
-  template <typename T, typename = kj::EnableIf<kj::isSameType<T, bool>()>>
+  template <StrictlyBool T>
   v8::Local<v8::Boolean> wrap(
       v8::Isolate* isolate, kj::Maybe<v8::Local<v8::Object>> creator, T value) {
     // The template is needed to prevent this overload from being chosen for arbitrary types that
diff --git a/src/workerd/jsg/web-idl.h b/src/workerd/jsg/web-idl.h
@@ -100,7 +100,7 @@ template <typename K, typename V>
 constexpr bool isRecordType<Dict<V, K>> = true;
 
 template <typename T>
-constexpr bool isBooleanType = kj::isSameType<T, bool>() || kj::isSameType<T, NonCoercible<bool>>();
+constexpr bool isBooleanType = StrictlyBool<T> || kj::isSameType<T, NonCoercible<bool>>();
 
 template <typename T>
 constexpr bool isIntegerType = kj::isSameType<T, int8_t>() || kj::isSameType<T, int16_t>() ||

Original file line number	Diff line number	Diff line change
`@@ -482,6 +482,9 @@ inline bool isFinite(double value) {`
`482`	`482`	`return !(kj::isNaN(value) \|\| value == kj::inf() \|\| value == -kj::inf());`
`483`	`483`	`}`
`484`	`484`
	`485`	`+template <typename T>`
	`486`	`+concept StrictlyBool = kj::isSameType<T, bool>();`
	`487`	`+`
`485`	`488`	`// ======================================================================================`
`486`	`489`
`487`	`490`	`class Lock;`