diff --git a/compiler/jstypes.nim b/compiler/jstypes.nim
index d980f99893..121baeb1cb 100644
--- a/compiler/jstypes.nim
+++ b/compiler/jstypes.nim
@@ -122,7 +122,7 @@ proc genEnumInfo(p: PProc, typ: PType, name: Rope) =
          [name, genTypeInfo(p, typ.baseClass)])
 
 proc genTypeInfo(p: PProc, typ: PType): Rope =
-  let t = typ.skipTypes({tyGenericInst, tyDistinct, tyAlias, tySink, tyOwned})
+  let t = typ.skipTypes({tyGenericInst, tyDistinct, tyAlias, tySink, tyOwned} + tyUserTypeClasses)
   result = "NTI$1" % [rope(t.id)]
   if containsOrIncl(p.g.typeInfoGenerated, t.id): return
   case t.kind
diff --git a/tests/js/t25043.nim b/tests/js/t25043.nim
new file mode 100644
index 0000000000..71353f10c6
--- /dev/null
+++ b/tests/js/t25043.nim
@@ -0,0 +1,15 @@
+discard """
+  action: "compile"
+"""
+
+proc audit*(event: string, args: varargs[string]) = discard
+# args is `varargs[Any]` in real world code
+
+type PathLike[T] = concept self
+  $self is T  # a simplified definition
+
+proc utime[T](path: PathLike[T]) =
+  audit("os.utime", $path)
+
+when isMainModule:
+  utime("sad")