feat(unstable/lint): no-slow-types for JSR packages (#22430)

1. Renames zap/fast-check to instead be a `no-slow-types` lint rule.
1. This lint rule is automatically run when doing `deno lint` for
packages (deno.json files with a name, version, and exports field)
1. This lint rules still occurs on publish. It can be skipped by running
with `--no-slow-types`

38 files changed, 285 insertions, 53 deletions

diff --git a/tests/integration/lint_tests.rs b/tests/integration/lint_tests.rs
index f7c9ead36..ae0414262 100644
--- a/tests/integration/lint_tests.rs
+++ b/tests/integration/lint_tests.rs
@@ -210,3 +210,45 @@ fn lint_with_glob_config_and_flags() {
   assert_contains!(output, "Found 2 problems");
   assert_contains!(output, "Checked 2 files");
 }
+
+itest!(no_slow_types {
+  args: "lint",
+  output: "lint/no_slow_types/no_slow_types.out",
+  cwd: Some("lint/no_slow_types"),
+  exit_code: 1,
+});
+
+itest!(no_slow_types_entrypoint {
+  args: "lint a.ts",
+  output: "lint/no_slow_types/no_slow_types_entrypoint.out",
+  cwd: Some("lint/no_slow_types"),
+  exit_code: 1,
+});
+
+itest!(no_slow_types_non_entrypoint {
+  args: "lint d.ts",
+  output_str: Some("Checked 1 file\n"),
+  cwd: Some("lint/no_slow_types"),
+  exit_code: 0,
+});
+
+itest!(no_slow_types_excluded {
+  args: "lint --rules-exclude=no-slow-types",
+  output_str: Some("Checked 4 files\n"),
+  cwd: Some("lint/no_slow_types"),
+  exit_code: 0,
+});
+
+itest!(no_slow_types_non_package {
+  args: "lint --config=deno.non-package.json",
+  output_str: Some("Checked 4 files\n"),
+  cwd: Some("lint/no_slow_types"),
+  exit_code: 0,
+});
+
+itest!(no_slow_types_workspace {
+  args: "lint",
+  output: "lint/no_slow_types_workspace/output.out",
+  cwd: Some("lint/no_slow_types_workspace"),
+  exit_code: 1,
+});
diff --git a/tests/integration/publish_tests.rs b/tests/integration/publish_tests.rs
index b614005cc..48e62e905 100644
--- a/tests/integration/publish_tests.rs
+++ b/tests/integration/publish_tests.rs
@@ -22,17 +22,17 @@ itest!(missing_deno_json {
   exit_code: 1,
 });
 
-itest!(invalid_fast_check {
+itest!(has_slow_types {
   args: "publish --token 'sadfasdf'",
-  output: "publish/invalid_fast_check.out",
-  cwd: Some("publish/invalid_fast_check"),
+  output: "publish/has_slow_types.out",
+  cwd: Some("publish/has_slow_types"),
   exit_code: 1,
 });
 
-itest!(no_zap {
-  args: "publish --no-zap --token 'sadfasdf'",
-  output: "publish/no_zap.out",
-  cwd: Some("publish/invalid_fast_check"),
+itest!(allow_slow_types {
+  args: "publish --allow-slow-types --token 'sadfasdf'",
+  output: "publish/allow_slow_types.out",
+  cwd: Some("publish/has_slow_types"),
   envs: env_vars_for_jsr_tests(),
   http_server: true,
   exit_code: 0,
@@ -83,7 +83,9 @@ fn publish_non_exported_files_using_import_map() {
     .new_command()
     .args("publish --log-level=debug --token 'sadfasdf'")
     .run();
+  output.assert_exit_code(0);
   let lines = output.combined_output().split('\n').collect::<Vec<_>>();
+  eprintln!("{}", output.combined_output());
   assert!(lines
     .iter()
     .any(|l| l.contains("Unfurling") && l.ends_with("mod.ts")));
diff --git a/tests/testdata/lint/no_slow_types/a.ts b/tests/testdata/lint/no_slow_types/a.ts
new file mode 100644
index 000000000..3b399665d
--- /dev/null
+++ b/tests/testdata/lint/no_slow_types/a.ts
@@ -0,0 +1,3 @@
+export function add(a: number, b: number) {
+  return a + b;
+}
diff --git a/tests/testdata/lint/no_slow_types/b.ts b/tests/testdata/lint/no_slow_types/b.ts
new file mode 100644
index 000000000..b96a79489
--- /dev/null
+++ b/tests/testdata/lint/no_slow_types/b.ts
@@ -0,0 +1,5 @@
+export function addB(a: number, b: number) {
+  return a + b;
+}
+
+export * from "./d.ts";
diff --git a/tests/testdata/lint/no_slow_types/c.ts b/tests/testdata/lint/no_slow_types/c.ts
new file mode 100644
index 000000000..517aa3d21
--- /dev/null
+++ b/tests/testdata/lint/no_slow_types/c.ts
@@ -0,0 +1,4 @@
+// this one won't error because it's not an export
+export function addC(a: number, b: number) {
+  return a + b;
+}
diff --git a/tests/testdata/lint/no_slow_types/d.ts b/tests/testdata/lint/no_slow_types/d.ts
new file mode 100644
index 000000000..babe9d81b
--- /dev/null
+++ b/tests/testdata/lint/no_slow_types/d.ts
@@ -0,0 +1,4 @@
+// this one is re-exported via b.ts
+export function addD(a: number, b: number) {
+  return a + b;
+}
diff --git a/tests/testdata/lint/no_slow_types/deno.json b/tests/testdata/lint/no_slow_types/deno.json
new file mode 100644
index 000000000..2fd0af5f0
--- /dev/null
+++ b/tests/testdata/lint/no_slow_types/deno.json
@@ -0,0 +1,8 @@
+{
+  "name": "@pkg/pkg",
+  "version": "1.0.0",
+  "exports": {
+    "./a": "./a.ts",
+    "./b": "./b.ts"
+  }
+}
diff --git a/tests/testdata/lint/no_slow_types/deno.non-package.json b/tests/testdata/lint/no_slow_types/deno.non-package.json
new file mode 100644
index 000000000..2c63c0851
--- /dev/null
+++ b/tests/testdata/lint/no_slow_types/deno.non-package.json
@@ -0,0 +1,2 @@
+{
+}
diff --git a/tests/testdata/lint/no_slow_types/no_slow_types.out b/tests/testdata/lint/no_slow_types/no_slow_types.out
new file mode 100644
index 000000000..5828906e7
--- /dev/null
+++ b/tests/testdata/lint/no_slow_types/no_slow_types.out
@@ -0,0 +1,35 @@
+error[no-slow-types]: missing explicit return type in the public API
+ --> [WILDCARD]a.ts:1:17
+  | 
+1 | export function add(a: number, b: number) {
+  |                 ^^^ this function is missing an explicit return type
+  = hint: add an explicit return type to the function
+
+  info: all functions in the public API must have an explicit return type
+  docs: https://jsr.io/go/slow-type-missing-explicit-return-type
+
+
+error[no-slow-types]: missing explicit return type in the public API
+ --> [WILDCARD]b.ts:1:17
+  | 
+1 | export function addB(a: number, b: number) {
+  |                 ^^^^ this function is missing an explicit return type
+  = hint: add an explicit return type to the function
+
+  info: all functions in the public API must have an explicit return type
+  docs: https://jsr.io/go/slow-type-missing-explicit-return-type
+
+
+error[no-slow-types]: missing explicit return type in the public API
+ --> [WILDCARD]d.ts:2:17
+  | 
+2 | export function addD(a: number, b: number) {
+  |                 ^^^^ this function is missing an explicit return type
+  = hint: add an explicit return type to the function
+
+  info: all functions in the public API must have an explicit return type
+  docs: https://jsr.io/go/slow-type-missing-explicit-return-type
+
+
+Found 3 problems
+Checked 4 files
diff --git a/tests/testdata/lint/no_slow_types/no_slow_types_entrypoint.out b/tests/testdata/lint/no_slow_types/no_slow_types_entrypoint.out
new file mode 100644
index 000000000..b8c1013bf
--- /dev/null
+++ b/tests/testdata/lint/no_slow_types/no_slow_types_entrypoint.out
@@ -0,0 +1,35 @@
+error[no-slow-types]: missing explicit return type in the public API
+ --> [WILDCARD]a.ts:1:17
+  | 
+1 | export function add(a: number, b: number) {
+  |                 ^^^ this function is missing an explicit return type
+  = hint: add an explicit return type to the function
+
+  info: all functions in the public API must have an explicit return type
+  docs: https://jsr.io/go/slow-type-missing-explicit-return-type
+
+
+error[no-slow-types]: missing explicit return type in the public API
+ --> [WILDCARD]b.ts:1:17
+  | 
+1 | export function addB(a: number, b: number) {
+  |                 ^^^^ this function is missing an explicit return type
+  = hint: add an explicit return type to the function
+
+  info: all functions in the public API must have an explicit return type
+  docs: https://jsr.io/go/slow-type-missing-explicit-return-type
+
+
+error[no-slow-types]: missing explicit return type in the public API
+ --> [WILDCARD]d.ts:2:17
+  | 
+2 | export function addD(a: number, b: number) {
+  |                 ^^^^ this function is missing an explicit return type
+  = hint: add an explicit return type to the function
+
+  info: all functions in the public API must have an explicit return type
+  docs: https://jsr.io/go/slow-type-missing-explicit-return-type
+
+
+Found 3 problems
+Checked 1 file
diff --git a/tests/testdata/lint/no_slow_types_workspace/a/b.ts b/tests/testdata/lint/no_slow_types_workspace/a/b.ts
new file mode 100644
index 000000000..b96a79489
--- /dev/null
+++ b/tests/testdata/lint/no_slow_types_workspace/a/b.ts
@@ -0,0 +1,5 @@
+export function addB(a: number, b: number) {
+  return a + b;
+}
+
+export * from "./d.ts";
diff --git a/tests/testdata/lint/no_slow_types_workspace/a/d.ts b/tests/testdata/lint/no_slow_types_workspace/a/d.ts
new file mode 100644
index 000000000..babe9d81b
--- /dev/null
+++ b/tests/testdata/lint/no_slow_types_workspace/a/d.ts
@@ -0,0 +1,4 @@
+// this one is re-exported via b.ts
+export function addD(a: number, b: number) {
+  return a + b;
+}
diff --git a/tests/testdata/lint/no_slow_types_workspace/a/deno.json b/tests/testdata/lint/no_slow_types_workspace/a/deno.json
new file mode 100644
index 000000000..5a971cd85
--- /dev/null
+++ b/tests/testdata/lint/no_slow_types_workspace/a/deno.json
@@ -0,0 +1,8 @@
+{
+  "name": "@pkg/a",
+  "version": "1.0.0",
+  "exports": {
+    "./a": "./mod.ts",
+    "./b": "./b.ts"
+  }
+}
diff --git a/tests/testdata/lint/no_slow_types_workspace/a/mod.ts b/tests/testdata/lint/no_slow_types_workspace/a/mod.ts
new file mode 100644
index 000000000..3b399665d
--- /dev/null
+++ b/tests/testdata/lint/no_slow_types_workspace/a/mod.ts
@@ -0,0 +1,3 @@
+export function add(a: number, b: number) {
+  return a + b;
+}
diff --git a/tests/testdata/lint/no_slow_types_workspace/b/deno.json b/tests/testdata/lint/no_slow_types_workspace/b/deno.json
new file mode 100644
index 000000000..c95aeb029
--- /dev/null
+++ b/tests/testdata/lint/no_slow_types_workspace/b/deno.json
@@ -0,0 +1,5 @@
+{
+  "name": "@pkg/b",
+  "version": "1.0.0",
+  "exports": "./mod.ts"
+}
diff --git a/tests/testdata/lint/no_slow_types_workspace/b/mod.ts b/tests/testdata/lint/no_slow_types_workspace/b/mod.ts
new file mode 100644
index 000000000..fa1c068de
--- /dev/null
+++ b/tests/testdata/lint/no_slow_types_workspace/b/mod.ts
@@ -0,0 +1,4 @@
+// ok
+export function addB(a: number, b: number): number {
+  return a + b;
+}
diff --git a/tests/testdata/lint/no_slow_types_workspace/c/deno.json b/tests/testdata/lint/no_slow_types_workspace/c/deno.json
new file mode 100644
index 000000000..36d6e2e67
--- /dev/null
+++ b/tests/testdata/lint/no_slow_types_workspace/c/deno.json
@@ -0,0 +1,5 @@
+{
+  "name": "@pkg/c",
+  "version": "1.0.0",
+  "exports": "./mod_c.ts"
+}
diff --git a/tests/testdata/lint/no_slow_types_workspace/c/mod_c.ts b/tests/testdata/lint/no_slow_types_workspace/c/mod_c.ts
new file mode 100644
index 000000000..632a90b65
--- /dev/null
+++ b/tests/testdata/lint/no_slow_types_workspace/c/mod_c.ts
@@ -0,0 +1,4 @@
+// not ok
+export function addC(a: number, b: number) {
+  return a + b;
+}
diff --git a/tests/testdata/lint/no_slow_types_workspace/deno.json b/tests/testdata/lint/no_slow_types_workspace/deno.json
new file mode 100644
index 000000000..e3dd981e5
--- /dev/null
+++ b/tests/testdata/lint/no_slow_types_workspace/deno.json
@@ -0,0 +1,7 @@
+{
+  "workspaces": [
+    "./a",
+    "./b",
+    "./c"
+  ]
+}
diff --git a/tests/testdata/lint/no_slow_types_workspace/output.out b/tests/testdata/lint/no_slow_types_workspace/output.out
new file mode 100644
index 000000000..05f54099b
--- /dev/null
+++ b/tests/testdata/lint/no_slow_types_workspace/output.out
@@ -0,0 +1,46 @@
+error[no-slow-types]: missing explicit return type in the public API
+ --> [WILDCARD]b.ts:1:17
+  | 
+1 | export function addB(a: number, b: number) {
+  |                 ^^^^ this function is missing an explicit return type
+  = hint: add an explicit return type to the function
+
+  info: all functions in the public API must have an explicit return type
+  docs: https://jsr.io/go/slow-type-missing-explicit-return-type
+
+
+error[no-slow-types]: missing explicit return type in the public API
+ --> [WILDCARD]d.ts:2:17
+  | 
+2 | export function addD(a: number, b: number) {
+  |                 ^^^^ this function is missing an explicit return type
+  = hint: add an explicit return type to the function
+
+  info: all functions in the public API must have an explicit return type
+  docs: https://jsr.io/go/slow-type-missing-explicit-return-type
+
+
+error[no-slow-types]: missing explicit return type in the public API
+ --> [WILDCARD]mod.ts:1:17
+  | 
+1 | export function add(a: number, b: number) {
+  |                 ^^^ this function is missing an explicit return type
+  = hint: add an explicit return type to the function
+
+  info: all functions in the public API must have an explicit return type
+  docs: https://jsr.io/go/slow-type-missing-explicit-return-type
+
+
+error[no-slow-types]: missing explicit return type in the public API
+ --> [WILDCARD]mod_c.ts:2:17
+  | 
+2 | export function addC(a: number, b: number) {
+  |                 ^^^^ this function is missing an explicit return type
+  = hint: add an explicit return type to the function
+
+  info: all functions in the public API must have an explicit return type
+  docs: https://jsr.io/go/slow-type-missing-explicit-return-type
+
+
+Found 4 problems
+Checked 5 files
diff --git a/tests/testdata/publish/allow_slow_types.out b/tests/testdata/publish/allow_slow_types.out
new file mode 100644
index 000000000..fe3788021
--- /dev/null
+++ b/tests/testdata/publish/allow_slow_types.out
@@ -0,0 +1,4 @@
+Warning Publishing a library with slow types is not recommended. This may lead to poor type checking performance for users of your package, may affect the quality of automatic documentation generation, and your package will not be shipped with a .d.ts file for Node.js users.
+Publishing @foo/bar@1.1.0 ...
+Successfully published @foo/bar@1.1.0
+Visit http://127.0.0.1:4250/@foo/bar@1.1.0 for details
diff --git a/tests/testdata/publish/deno_jsonc.out b/tests/testdata/publish/deno_jsonc.out
index 2d5e4ffea..aae82c339 100644
--- a/tests/testdata/publish/deno_jsonc.out
+++ b/tests/testdata/publish/deno_jsonc.out
@@ -1,5 +1,4 @@
-Checking fast check type graph for errors...
-Ensuring type checks...
+Checking for slow types in the public API...
 Check file:///[WILDCARD]/publish/deno_jsonc/mod.ts
 Publishing @foo/bar@1.0.0 ...
 Successfully published @foo/bar@1.0.0
diff --git a/tests/testdata/publish/dry_run.out b/tests/testdata/publish/dry_run.out
index f9f4df72e..1fa593294 100644
--- a/tests/testdata/publish/dry_run.out
+++ b/tests/testdata/publish/dry_run.out
@@ -1,4 +1,3 @@
-Checking fast check type graph for errors...
-Ensuring type checks...
+Checking for slow types in the public API...
 Check [WILDCARD]
 Warning Aborting due to --dry-run
diff --git a/tests/testdata/publish/has_slow_types.out b/tests/testdata/publish/has_slow_types.out
new file mode 100644
index 000000000..06e042145
--- /dev/null
+++ b/tests/testdata/publish/has_slow_types.out
@@ -0,0 +1,21 @@
+Checking for slow types in the public API...
+error[missing-explicit-return-type]: missing explicit return type in the public API
+ --> [WILDCARD]mod.ts:2:17
+  | 
+2 | export function getRandom() {
+  |                 ^^^^^^^^^ this function is missing an explicit return type
+  = hint: add an explicit return type to the function
+
+  info: all functions in the public API must have an explicit return type
+  docs: https://jsr.io/go/slow-type-missing-explicit-return-type
+
+This package contains errors for slow types. Fixing these errors will:
+
+  1. Significantly improve your package users' type checking performance.
+  2. Improve the automatic documentation generation.
+  3. Enable automatic .d.ts generation for Node.js.
+
+Don't want to bother? You can choose to skip this step by
+providing the --allow-slow-types flag.
+
+error: Found 1 problem
diff --git a/tests/testdata/publish/invalid_fast_check/deno.json b/tests/testdata/publish/has_slow_types/deno.json
index 5826e5529..5826e5529 100644
--- a/tests/testdata/publish/invalid_fast_check/deno.json
+++ b/tests/testdata/publish/has_slow_types/deno.json
diff --git a/tests/testdata/publish/invalid_fast_check/mod.ts b/tests/testdata/publish/has_slow_types/mod.ts
index 025311049..025311049 100644
--- a/tests/testdata/publish/invalid_fast_check/mod.ts
+++ b/tests/testdata/publish/has_slow_types/mod.ts
diff --git a/tests/testdata/publish/invalid_fast_check.out b/tests/testdata/publish/invalid_fast_check.out
deleted file mode 100644
index d18be45fe..000000000
--- a/tests/testdata/publish/invalid_fast_check.out
+++ /dev/null
@@ -1,16 +0,0 @@
-Checking fast check type graph for errors...
-error[zap-missing-explicit-return-type]: missing explicit return type in the public API
- --> [WILDCARD]mod.ts:2:17
-  | 
-2 | export function getRandom() {
-  |                 ^^^^^^^^^ this function is missing an explicit return type
-  = hint: add an explicit return type to the function
-
-  info: all functions in the public API must have an explicit return type
-  docs: https://jsr.io/go/zap-missing-explicit-return-type
-
-This package contains Zap errors. Although conforming to Zap will
-significantly improve the type checking performance of your library,
-you can choose to skip it by providing the --no-zap flag.
-
-error: Found 1 problem
diff --git a/tests/testdata/publish/invalid_import.out b/tests/testdata/publish/invalid_import.out
index ca9d20eed..f123a341b 100644
--- a/tests/testdata/publish/invalid_import.out
+++ b/tests/testdata/publish/invalid_import.out
@@ -2,8 +2,7 @@ Download http://localhost:4545/welcome.ts
 Download http://localhost:4545/echo.ts
 Download http://localhost:4545/npm/registry/chalk
 Download http://localhost:4545/npm/registry/chalk/chalk-5.0.1.tgz
-Checking fast check type graph for errors...
-Ensuring type checks...
+Checking for slow types in the public API...
 Check file://[WILDCARD]mod.ts
 error[invalid-external-import]: invalid import to a non-JSR 'http' specifier
  --> [WILDCARD]mod.ts:1:8
diff --git a/tests/testdata/publish/invalid_path.out b/tests/testdata/publish/invalid_path.out
index cd3e92e0c..bad1a6495 100644
--- a/tests/testdata/publish/invalid_path.out
+++ b/tests/testdata/publish/invalid_path.out
@@ -1,5 +1,4 @@
-Checking fast check type graph for errors...
-Ensuring type checks...
+Checking for slow types in the public API...
 Check file://[WILDCARD]mod.ts
 error[invalid-path]: package path must not contain whitespace (found ' ')
  --> [WILDCARD]path with spaces.txt
diff --git a/tests/testdata/publish/javascript_decl_file.out b/tests/testdata/publish/javascript_decl_file.out
index deb66eba0..2eda47cb4 100644
--- a/tests/testdata/publish/javascript_decl_file.out
+++ b/tests/testdata/publish/javascript_decl_file.out
@@ -1,5 +1,4 @@
-Checking fast check type graph for errors...
-Ensuring type checks...
+Checking for slow types in the public API...
 Check file:///[WILDCARD]/javascript_decl_file/mod.js
 Publishing @foo/bar@1.0.0 ...
 Successfully published @foo/bar@1.0.0
diff --git a/tests/testdata/publish/javascript_missing_decl_file.out b/tests/testdata/publish/javascript_missing_decl_file.out
index 557451b29..08e92e320 100644
--- a/tests/testdata/publish/javascript_missing_decl_file.out
+++ b/tests/testdata/publish/javascript_missing_decl_file.out
@@ -1,11 +1,19 @@
-Checking fast check type graph for errors...
-warning[zap-unsupported-javascript-entrypoint]: used a JavaScript module without type declarations as an entrypoints
+Checking for slow types in the public API...
+warning[unsupported-javascript-entrypoint]: used a JavaScript module without type declarations as an entrypoint
  --> [WILDCARD]mod.js
   = hint: add a type declaration (d.ts) for the JavaScript module, or rewrite it to TypeScript
 
   info: JavaScript files with no corresponding declaration require type inference to be type checked
   info: fast check avoids type inference, so JavaScript entrypoints should be avoided
-  docs: https://jsr.io/go/zap-unsupported-javascript-entrypoint
+  docs: https://jsr.io/go/slow-type-unsupported-javascript-entrypoint
+
+warning[unsupported-javascript-entrypoint]: used a JavaScript module without type declarations as an entrypoint
+ --> [WILDCARD]other.js
+  = hint: add a type declaration (d.ts) for the JavaScript module, or rewrite it to TypeScript
+
+  info: JavaScript files with no corresponding declaration require type inference to be type checked
+  info: fast check avoids type inference, so JavaScript entrypoints should be avoided
+  docs: https://jsr.io/go/slow-type-unsupported-javascript-entrypoint
 
 Publishing @foo/bar@1.0.0 ...
 Successfully published @foo/bar@1.0.0
diff --git a/tests/testdata/publish/no_zap.out b/tests/testdata/publish/no_zap.out
deleted file mode 100644
index 109964903..000000000
--- a/tests/testdata/publish/no_zap.out
+++ /dev/null
@@ -1,5 +0,0 @@
-Ensuring type checks...
-Check file:///[WILDCARD]/mod.ts
-Publishing @foo/bar@1.1.0 ...
-Successfully published @foo/bar@1.1.0
-Visit http://127.0.0.1:4250/@foo/bar@1.1.0 for details
diff --git a/tests/testdata/publish/node_specifier.out b/tests/testdata/publish/node_specifier.out
index 7acb5b5ba..9ba10c75b 100644
--- a/tests/testdata/publish/node_specifier.out
+++ b/tests/testdata/publish/node_specifier.out
@@ -1,5 +1,4 @@
-Checking fast check type graph for errors...
-Ensuring type checks...
+Checking for slow types in the public API...
 Download http://localhost:4545/npm/registry/@types/node
 Download http://localhost:4545/npm/registry/@types/node/node-[WILDCARD].tgz
 Check file:///[WILDCARD]/publish/node_specifier/mod.ts
diff --git a/tests/testdata/publish/successful.out b/tests/testdata/publish/successful.out
index 7dbe16807..1dd6168eb 100644
--- a/tests/testdata/publish/successful.out
+++ b/tests/testdata/publish/successful.out
@@ -1,5 +1,4 @@
-Checking fast check type graph for errors...
-Ensuring type checks...
+Checking for slow types in the public API...
 Check file:///[WILDCARD]/publish/successful/mod.ts
 Publishing @foo/bar@1.0.0 ...
 Successfully published @foo/bar@1.0.0
diff --git a/tests/testdata/publish/symlink.out b/tests/testdata/publish/symlink.out
index d226fa18e..952449421 100644
--- a/tests/testdata/publish/symlink.out
+++ b/tests/testdata/publish/symlink.out
@@ -1,5 +1,4 @@
-Checking fast check type graph for errors...
-Ensuring type checks...
+Checking for slow types in the public API...
 Check [WILDCARD]mod.ts
 warning[unsupported-file-type]: unsupported file type 'symlink'
  --> [WILDCARD]symlink
diff --git a/tests/testdata/publish/unanalyzable_dynamic_import.out b/tests/testdata/publish/unanalyzable_dynamic_import.out
index 3be7ece87..97306c079 100644
--- a/tests/testdata/publish/unanalyzable_dynamic_import.out
+++ b/tests/testdata/publish/unanalyzable_dynamic_import.out
@@ -1,5 +1,4 @@
-Checking fast check type graph for errors...
-Ensuring type checks...
+Checking for slow types in the public API...
 Check file://[WILDCARD]/mod.ts
 warning[unanalyzable-dynamic-import]: unable to analyze dynamic import
  --> [WILDCARD]mod.ts:1:7
diff --git a/tests/testdata/publish/workspace.out b/tests/testdata/publish/workspace.out
index 588c22bbc..ceffc48cf 100644
--- a/tests/testdata/publish/workspace.out
+++ b/tests/testdata/publish/workspace.out
@@ -1,6 +1,5 @@
 Publishing a workspace...
-Checking fast check type graph for errors...
-Ensuring type checks...
+Checking for slow types in the public API...
 Check file:///[WILDCARD]/workspace/foo/mod.ts
 Check file:///[WILDCARD]/workspace/bar/mod.ts
 Publishing @foo/bar@1.0.0 ...
diff --git a/tests/testdata/publish/workspace_individual.out b/tests/testdata/publish/workspace_individual.out
index 4eadb45af..61fac206b 100644
--- a/tests/testdata/publish/workspace_individual.out
+++ b/tests/testdata/publish/workspace_individual.out
@@ -1,5 +1,4 @@
-Checking fast check type graph for errors...
-Ensuring type checks...
+Checking for slow types in the public API...
 Check file:///[WILDCARD]/workspace/bar/mod.ts
 Publishing @foo/bar@1.0.0 ...
 Successfully published @foo/bar@1.0.0