Adopt explicit type imports and re-enable onlyRemoveTypeImports

.chronus/changes/internal-type-imports-2026-7-21.md

@@ -0,0 +1,19 @@
+---
+changeKind: internal
+packages:
+  - "@alloy-js/babel-plugin"
+  - "@alloy-js/cli"
+  - "@alloy-js/core"
+  - "@alloy-js/csharp"
+  - "@alloy-js/go"
+  - "@alloy-js/java"
+  - "@alloy-js/json"
+  - "@alloy-js/markdown"
+  - "@alloy-js/msbuild"
+  - "@alloy-js/python"
+  - "@alloy-js/rollup-plugin"
+  - "@alloy-js/typescript"
+  - "@alloy-js/typespec"
+---
+
+Adopt explicit `import type` / `export type` across the codebase (enforced via TypeScript's `verbatimModuleSyntax`) and re-enable Babel 8's default `onlyRemoveTypeImports: true` by dropping the stopgap override in the CLI and rollup-plugin builds.

packages/babel-plugin-alloy/src/index.ts

@@ -1,4 +1,4 @@
-import { NodePath } from "@babel/core";
+import type { NodePath } from "@babel/core";
 import SyntaxJSX from "@babel/plugin-syntax-jsx";
 import * as t from "@babel/types";
 

packages/babel-plugin-alloy/src/transform.ts

@@ -1,4 +1,4 @@
-import { NodePath } from "@babel/core";
+import type { NodePath } from "@babel/core";
 import * as t from "@babel/types";
 interface Options {
   alloyModuleName: string | undefined;

packages/cli/src/babel.ts

@@ -15,7 +15,7 @@ export async function buildFile(filename: string, options: BuildOptions) {
   return babel.transformFileAsync(filename, {
     sourceMaps: options.sourceMaps,
     presets: [
-      [typescriptPreset, { onlyRemoveTypeImports: false }],
+      typescriptPreset,
       [alloyPreset, { addSourceInfo: options.addSourceInfo }],
     ],
   });

packages/core/src/binder.ts

@@ -1,21 +1,15 @@
-import { computed, Ref, ShallowRef, shallowRef } from "@vue/reactivity";
+import type { Ref, ShallowRef } from "@vue/reactivity";
+import { computed, shallowRef } from "@vue/reactivity";
 
 import { useBinder } from "./context/binder.js";
 import { useMemberContext } from "./context/member-scope.js";
 import { useScope } from "./context/scope.js";
 import { debug, TracePhase } from "./debug/index.js";
 import { emitDiagnostic, type DiagnosticHandle } from "./diagnostics.js";
 import { effect, onCleanup } from "./reactivity.js";
-import {
-  inspectRefkey,
-  isMemberRefkey,
-  MemberRefkey,
-  refkey,
-  Refkey,
-  Refkeyable,
-  toRefkey,
-} from "./refkey.js";
-import { OutputScope } from "./symbols/output-scope.js";
+import type { MemberRefkey, Refkey, Refkeyable } from "./refkey.js";
+import { inspectRefkey, isMemberRefkey, refkey, toRefkey } from "./refkey.js";
+import type { OutputScope } from "./symbols/output-scope.js";
 import { type OutputSymbol } from "./symbols/output-symbol.js";
 import { formatRefkeys, formatSymbolName } from "./tracer.js";
 export type Metadata = object;

packages/core/src/components/AccessExpression.test.tsx

@@ -1,11 +1,9 @@
 import { describe, expect, it } from "vitest";
 
-import {
-  BasePartProps,
-  createAccessExpression,
-} from "../components/AccessExpression.jsx";
+import type { BasePartProps } from "../components/AccessExpression.jsx";
+import { createAccessExpression } from "../components/AccessExpression.jsx";
 import { code } from "../index.js";
-import { Children } from "../runtime/component.js";
+import type { Children } from "../runtime/component.js";
 
 interface TestPartProps extends BasePartProps {
   name?: string;

packages/core/src/components/AccessExpression.tsx

@@ -1,12 +1,14 @@
-import {
+import type {
   Children,
-  childrenArray,
   ComponentCreator,
   ComponentDefinition,
-  computed,
-  isComponentCreator,
   OutputSymbol,
   Refkeyable,
+} from "../index.js";
+import {
+  childrenArray,
+  computed,
+  isComponentCreator,
   symbolForRefkey,
   takeSymbols,
 } from "../index.js";

packages/core/src/components/AppendFile.tsx

@@ -5,7 +5,8 @@ import { useContext } from "../context.js";
 import { SourceDirectoryContext } from "../context/source-directory.js";
 import { emitDiagnostic } from "../diagnostics.js";
 import { createFileResource } from "../resource.js";
-import { Children, isComponentCreator } from "../runtime/component.js";
+import type { Children } from "../runtime/component.js";
+import { isComponentCreator } from "../runtime/component.js";
 import { childrenArray } from "../utils.jsx";
 import { SourceFile } from "./SourceFile.jsx";
 

packages/core/src/components/CopyFile.tsx

@@ -2,7 +2,7 @@ import { join } from "pathe";
 
 import { useContext } from "../context.js";
 import { SourceDirectoryContext } from "../context/source-directory.js";
-import { CopyFileContext } from "../context/source-file.js";
+import type { CopyFileContext } from "../context/source-file.js";
 import { getContext } from "../reactivity.js";
 
 export interface CopyFileProps {

packages/core/src/components/Declaration.tsx

@@ -4,11 +4,11 @@ import { BinderContext } from "../context/binder.js";
 import { DeclarationContext } from "../context/declaration.js";
 import { useScope } from "../context/scope.js";
 import { onCleanup } from "../reactivity.js";
-import { Namekey, Refkey } from "../refkey.js";
+import type { Namekey, Refkey } from "../refkey.js";
 import type { Children } from "../runtime/component.js";
 import { BasicScope } from "../symbols/basic-scope.js";
 import { BasicSymbol } from "../symbols/basic-symbol.js";
-import { OutputSymbol } from "../symbols/output-symbol.js";
+import type { OutputSymbol } from "../symbols/output-symbol.js";
 
 /**
  * Create a declaration by providing an already created symbol. The symbol is

packages/core/src/components/For.tsx

@@ -1,9 +1,10 @@
-import { isRef, Ref } from "@vue/reactivity";
+import type { Ref } from "@vue/reactivity";
+import { isRef } from "@vue/reactivity";
 
 import { memo } from "../reactivity.js";
 import type { Children } from "../runtime/component.js";
 import { baseListPropsToMapJoinArgs, mapJoin } from "../utils.js";
-import { BaseListProps } from "./List.jsx";
+import type { BaseListProps } from "./List.jsx";
 
 export type ForCallbackArgs<T> = number extends keyof T
   ? [value: T[number]]

packages/core/src/components/MemberDeclaration.tsx

@@ -5,7 +5,7 @@ import { useMemberContext } from "../context/member-scope.js";
 import type { Namekey, Refkey } from "../refkey.js";
 import type { Children } from "../runtime/component.js";
 import { BasicSymbol } from "../symbols/basic-symbol.js";
-import { OutputSymbol } from "../symbols/output-symbol.js";
+import type { OutputSymbol } from "../symbols/output-symbol.js";
 
 /**
  * Create a member declaration by providing a symbol name and optional symbol

packages/core/src/components/MemberScope.tsx

@@ -2,7 +2,7 @@ import { MemberContext } from "../context/member-scope.js";
 // eslint-disable-next-line @typescript-eslint/no-unused-vars
 import { ScopeContext } from "../context/scope.js";
 import type { Children } from "../runtime/component.js";
-import { OutputScope } from "../symbols/output-scope.js";
+import type { OutputScope } from "../symbols/output-scope.js";
 import type { OutputSymbol } from "../symbols/output-symbol.js";
 import { Scope } from "./Scope.jsx";
 

packages/core/src/components/Output.tsx

@@ -1,14 +1,10 @@
-import {
-  createOutputBinder,
-  getSymbolCreator,
-  NameConflictResolver,
-  SymbolCreator,
-} from "../binder.js";
+import type { NameConflictResolver, SymbolCreator } from "../binder.js";
+import { createOutputBinder, getSymbolCreator } from "../binder.js";
 import { BinderContext } from "../context/binder.js";
 import { FormatOptions } from "../context/format-options.js";
 import { NamePolicyContext } from "../context/name-policy.js";
-import { NamePolicy } from "../name-policy.js";
-import { PrintTreeOptions } from "../output-types.js";
+import type { NamePolicy } from "../name-policy.js";
+import type { PrintTreeOptions } from "../output-types.js";
 import type { Children } from "../runtime/component.js";
 import { SourceDirectory } from "./SourceDirectory.js";
 // eslint-disable-next-line @typescript-eslint/no-unused-vars

packages/core/src/components/Scope.tsx

@@ -3,8 +3,8 @@ import { ScopeContext, useScope } from "../context/scope.js";
 import { debug } from "../debug/index.js";
 import type { Children } from "../runtime/component.js";
 import { BasicScope } from "../symbols/basic-scope.js";
-import { OutputScope } from "../symbols/output-scope.js";
-import { OutputSymbol } from "../symbols/output-symbol.js";
+import type { OutputScope } from "../symbols/output-scope.js";
+import type { OutputSymbol } from "../symbols/output-symbol.js";
 
 /**
  * Declare a scope by providing an already created scope. The scope is merely

packages/core/src/components/SourceFile.tsx

@@ -4,9 +4,9 @@ import { useContext } from "../context.js";
 import { useFormatOptions } from "../context/format-options.js";
 import { SourceDirectoryContext } from "../context/source-directory.js";
 import { SourceFileContext } from "../context/source-file.js";
-import { PrintTreeOptions } from "../output-types.js";
+import type { PrintTreeOptions } from "../output-types.js";
 import { getContext } from "../reactivity.js";
-import { Refkey } from "../refkey.js";
+import type { Refkey } from "../refkey.js";
 import type { Children, ComponentDefinition } from "../runtime/component.js";
 import { Show } from "./Show.jsx";
 

packages/core/src/components/TemplateFile.tsx

@@ -2,7 +2,8 @@ import { computed } from "@vue/reactivity";
 
 import { emitDiagnostic } from "../diagnostics.js";
 import { createFileResource } from "../resource.js";
-import { Children, isComponentCreator } from "../runtime/component.js";
+import type { Children } from "../runtime/component.js";
+import { isComponentCreator } from "../runtime/component.js";
 import { childrenArray } from "../utils.jsx";
 import { SourceFile } from "./SourceFile.jsx";
 

packages/core/src/components/UpdateFile.tsx

@@ -4,7 +4,7 @@ import { join } from "pathe";
 import { useContext } from "../context.js";
 import { SourceDirectoryContext } from "../context/source-directory.js";
 import { createFileResource } from "../resource.js";
-import { Children } from "../runtime/component.js";
+import type { Children } from "../runtime/component.js";
 import { SourceFile } from "./SourceFile.jsx";
 /**
  * Props for the UpdateFile component.

packages/core/src/content-slot.tsx

@@ -1,8 +1,9 @@
-import { computed, Ref, shallowRef } from "@vue/reactivity";
+import type { Ref } from "@vue/reactivity";
+import { computed, shallowRef } from "@vue/reactivity";
 
 import { Show } from "./components/Show.jsx";
 import { ensureIsEmpty, getContext } from "./reactivity.js";
-import { Children, Component } from "./runtime/component.js";
+import type { Children, Component } from "./runtime/component.js";
 
 export interface ContentSlot {
   (props: { children: Children }): Children;

packages/core/src/context/assignment.ts

@@ -1,8 +1,5 @@
-import {
-  ComponentContext,
-  createNamedContext,
-  useContext,
-} from "../context.js";
+import type { ComponentContext } from "../context.js";
+import { createNamedContext, useContext } from "../context.js";
 import type { OutputSymbol } from "../symbols/output-symbol.js";
 
 export interface AssignmentContext {

packages/core/src/context/declaration.ts

@@ -1,4 +1,5 @@
-import { ComponentContext, createNamedContext } from "../context.js";
+import type { ComponentContext } from "../context.js";
+import { createNamedContext } from "../context.js";
 import type { OutputSymbol } from "../symbols/output-symbol.js";
 
 export const DeclarationContext: ComponentContext<OutputSymbol> =

packages/core/src/context/format-options.ts

@@ -1,5 +1,5 @@
 import { createNamedContext, useContext } from "../context.js";
-import { PrintTreeOptions } from "../output-types.js";
+import type { PrintTreeOptions } from "../output-types.js";
 
 export interface CommonFormatOptions extends PrintTreeOptions {}
 

packages/core/src/context/member-declaration.ts

@@ -1,8 +1,5 @@
-import {
-  ComponentContext,
-  createNamedContext,
-  useContext,
-} from "../context.js";
+import type { ComponentContext } from "../context.js";
+import { createNamedContext, useContext } from "../context.js";
 import type { OutputSymbol } from "../symbols/output-symbol.js";
 
 /**

packages/core/src/context/member-scope.ts

@@ -1,9 +1,6 @@
-import {
-  ComponentContext,
-  createNamedContext,
-  useContext,
-} from "../context.js";
-import { OutputSymbol } from "../symbols/output-symbol.js";
+import type { ComponentContext } from "../context.js";
+import { createNamedContext, useContext } from "../context.js";
+import type { OutputSymbol } from "../symbols/output-symbol.js";
 
 /**
  * The member context provides the symbol upon which new member symbols

packages/core/src/context/name-policy.ts

@@ -1,8 +1,5 @@
-import {
-  ComponentContext,
-  createNamedContext,
-  useContext,
-} from "../context.js";
+import type { ComponentContext } from "../context.js";
+import { createNamedContext, useContext } from "../context.js";
 import type { NamePolicy } from "../name-policy.js";
 
 export const NamePolicyContext: ComponentContext<NamePolicy<string>> =

packages/core/src/context/scope.ts

@@ -1,8 +1,5 @@
-import {
-  ComponentContext,
-  createNamedContext,
-  useContext,
-} from "../context.js";
+import type { ComponentContext } from "../context.js";
+import { createNamedContext, useContext } from "../context.js";
 import type { OutputScope } from "../symbols/output-scope.js";
 
 export const ScopeContext: ComponentContext<OutputScope> =

packages/core/src/context/source-directory.ts

@@ -1,4 +1,5 @@
-import { ComponentContext, createNamedContext } from "../context.js";
+import type { ComponentContext } from "../context.js";
+import { createNamedContext } from "../context.js";
 import type { CopyFileContext, SourceFileContext } from "./source-file.js";
 
 export interface SourceDirectoryContext {

packages/core/src/context/source-file.ts

@@ -1,6 +1,7 @@
-import { ComponentContext, createNamedContext } from "../context.js";
+import type { ComponentContext } from "../context.js";
+import { createNamedContext } from "../context.js";
 import type { Refkey } from "../refkey.js";
-import { ComponentDefinition } from "../runtime/component.js";
+import type { ComponentDefinition } from "../runtime/component.js";
 
 export interface CopyFileContext {
   path: string;

packages/core/src/debug/render.ts

@@ -58,15 +58,14 @@ import {
 } from "../devtools/devtools-server.js";
 import { getContext, untrack } from "../reactivity.js";
 import { getContextForNode } from "../render/node-context.js";
+import type { ElementNode, TextNode } from "../render/node.js";
 import {
   AlloyNode,
   CommentNode,
   ELEMENT_NODE,
-  ElementNode,
   FRAGMENT_NODE,
   setMutationListener,
   TEXT_NODE,
-  TextNode,
 } from "../render/node.js";
 import { flushJobsAsync } from "../scheduler.js";
 import type { ComponentCreator } from "./../runtime/component.js";

packages/core/src/host/alloy-host.browser.ts

@@ -1,4 +1,4 @@
-import { AlloyFileInterface, AlloyHostInterface } from "./interface.js";
+import type { AlloyFileInterface, AlloyHostInterface } from "./interface.js";
 
 export const AlloyHost: AlloyHostInterface = {
   read(source: string): AlloyFileInterface {

packages/core/src/host/alloy-host.ts

@@ -1,7 +1,7 @@
 import { createReadStream, createWriteStream } from "fs";
 import { access, mkdir, readFile, writeFile } from "fs/promises";
 
-import { AlloyFileInterface, AlloyHostInterface } from "./interface.js";
+import type { AlloyFileInterface, AlloyHostInterface } from "./interface.js";
 
 export const AlloyHost: AlloyHostInterface = {
   read(source: string): AlloyFileInterface {

packages/core/src/index.ts

@@ -25,7 +25,7 @@ export * from "./context/index.js";
 export * from "./diagnostics.js";
 export * from "./library-symbol-reference.js";
 export * from "./name-policy.js";
-export * from "./output-types.js";
+export type * from "./output-types.js";
 export * from "./props-combinators.js";
 export * from "./reactive-union-set.js";
 export {
@@ -91,7 +91,7 @@ export {
 } from "./render/node.js";
 export * from "./resource.js";
 export * from "./runtime/component.js";
-export * from "./runtime/intrinsic.js";
+export type * from "./runtime/intrinsic.js";
 export * from "./stc.js";
 export * from "./sti.js";
 export * from "./symbols/index.js";

packages/core/src/library-symbol-reference.ts

@@ -1,5 +1,5 @@
-import { RefkeyableObject } from "./refkey.js";
-import { OutputSymbol } from "./symbols/output-symbol.js";
+import type { RefkeyableObject } from "./refkey.js";
+import type { OutputSymbol } from "./symbols/output-symbol.js";
 
 /**
  * Well-known symbol for the lazy-symbol-creation protocol used by external

packages/core/src/pretty-string/pretty-string.test.ts

@@ -1,6 +1,7 @@
 import { expect, it } from "vitest";
 
-import { pret, PrettyString } from "./pretty-string.js";
+import type { PrettyString } from "./pretty-string.js";
+import { pret } from "./pretty-string.js";
 
 function expectRender(
   pretty: PrettyString,