chore: reproduce issue

examples/resolve_json_module/BUILD.bazel

@@ -2,15 +2,23 @@
 
 load("@aspect_bazel_lib//lib:testing.bzl", "assert_contains")
 load("@aspect_rules_js//js:defs.bzl", "js_test")
-load("@aspect_rules_ts//ts:defs.bzl", "ts_project")
+load("@aspect_rules_ts//ts:defs.bzl", "ts_config", "ts_project")
+
+ts_config(
+    name = "tsconfig",
+    src = "tsconfig.json",
+    visibility = ["//:__subpackages__"],
+)
 
 ts_project(
     name = "ts",
     srcs = [
         "data.json",
         "index.ts",
     ],
+    declaration = True,
     resolve_json_module = True,
+    visibility = ["//examples/resolve_json_module:__subpackages__"],
 )
 
 assert_contains(

examples/resolve_json_module/bar/BUILD.bazel

@@ -0,0 +1,15 @@
+load("@aspect_rules_ts//ts:defs.bzl", "ts_project")
+
+ts_project(
+    name = "bar",
+    srcs = [
+        "bar.ts",
+    ],
+    args = ["--listFiles"],
+    declaration = True,
+    resolve_json_module = True,
+    tsconfig = "//examples/resolve_json_module:tsconfig",
+    deps = [
+        "//examples/resolve_json_module:ts",
+    ],
+)

examples/resolve_json_module/bar/bar.ts

@@ -0,0 +1,3 @@
+import type { Data } from '../index'
+
+const data: Data = [{ a: 'b' }]

examples/resolve_json_module/index.ts

@@ -1,2 +1,3 @@
 import data from './data.json'
 export const a: string = 'hello' + JSON.stringify(data)
+export type Data = typeof data

examples/resolve_json_module/tsconfig.json

@@ -1,6 +1,7 @@
 {
     "compilerOptions": {
         "esModuleInterop": true,
-        "resolveJsonModule": true
+        "resolveJsonModule": true,
+        "declaration": true
     }
 }

ts/private/ts_validate_options.bzl

@@ -27,7 +27,7 @@ def _validate_options_impl(ctx):
         for d in ctx.attr.deps:
             if not d[JsInfo].declarations:
                 fail("""\
-ts_project '{1}' dependency '{0}' does does not contain any declarations (.d.ts or other type-check files).
+ts_project '{1}' dependency '{0}' does not contain any declarations (.d.ts or other type-check files).
 Generally, targets which produce no declarations aren't useful as dependencies to the TypeScript type-checker.
 This likely means you forgot to set 'declaration = true' in the compilerOptions for that target.