@ttsc/lint 0.12.3 → 0.13.0

package/lib/structures/ITtscLintFormatConfig.d.ts

@@ -3,10 +3,10 @@ import type { TtscLintSeverity } from "./TtscLintSeverity";
  * Prettier-style flat configuration for the `format/*` rules.
  *
  * The `format` block is the recommended way to enable formatting in
- * `@ttsc/lint`. Each key mirrors a Prettier option of the same name —
- * users coming from a `.prettierrc` can copy their config almost
- * verbatim. The block is opt-in by presence: a `lint.config.ts` with no
- * `format` field keeps every format rule off, exactly as before.
+ * `@ttsc/lint`. Each key mirrors a Prettier option of the same name — users
+ * coming from a `.prettierrc` can copy their config almost verbatim. The block
+ * is opt-in by presence: a `lint.config.ts` with no `format` field keeps every
+ * format rule off, exactly as before.
  *
  * Once present, the block configures a curated set of format rules at
  * Prettier-aligned defaults. `ttsc format` uses these rules to rewrite source.
@@ -18,37 +18,37 @@ import type { TtscLintSeverity } from "./TtscLintSeverity";
  *   import type { ITtscLintConfig } from "@ttsc/lint";
  *
  *   export default {
- *     rules: { "no-var": "error" },
- *     format: {
- *       severity: "warning",
- *       printWidth: 100,
- *       singleQuote: true,
- *       importOrder: ["<THIRD_PARTY_MODULES>", "^[./]"],
- *     },
+ *   rules: { "no-var": "error" },
+ *   format: {
+ *   severity: "warning",
+ *   printWidth: 100,
+ *   singleQuote: true,
+ *   importOrder: ["<THIRD_PARTY_MODULES>", "^[./]"],
+ *   },
  *   } satisfies ITtscLintConfig;
  *
- * Deviations from Prettier:
- *  - `endOfLine` is restricted to `"lf"` and `"crlf"`. Prettier's
- *    `"cr"` and `"auto"` modes are intentionally unsupported — the
- *    printer does not auto-detect terminators.
- *  - Many Prettier knobs (`bracketSpacing`, `arrowParens`,
- *    `quoteProps`, JSX-specific switches) are not yet implemented.
+ *   Deviations from Prettier:
+ *   - `endOfLine` is restricted to `"lf"` and `"crlf"`. Prettier's
+ *   `"cr"` and `"auto"` modes are intentionally unsupported — the
+ *   printer does not auto-detect terminators.
+ *   - Many Prettier knobs (`bracketSpacing`, `arrowParens`,
+ *   `quoteProps`, JSX-specific switches) are not yet implemented.
  *
- * Rule enablement matrix (when the `format` block is present):
+ *   Rule enablement matrix (when the `format` block is present):
  *
- *  - `format/semi` — always on. `semi: false` flips it to `prefer:
- *    "never"`.
- *  - `format/quotes` — always on. `singleQuote: true` flips to
- *    `prefer: "single"`.
- *  - `format/trailing-comma` — always on. `trailingComma: "none"`
- *    disables the rule's edits without removing the surface.
- *  - `format/print-width` — always on, driven by `printWidth`,
- *    `tabWidth`, `useTabs`, `endOfLine`.
- *  - `format/sort-imports` — opt-in. Setting `importOrder` enables it.
- *  - `format/jsdoc` — opt-in. Setting `jsdoc` enables it.
+ *   - `format/semi` — always on. `semi: false` flips it to `prefer:
+ *   "never"`.
+ *   - `format/quotes` — always on. `singleQuote: true` flips to
+ *   `prefer: "single"`.
+ *   - `format/trailing-comma` — always on. `trailingComma: "none"`
+ *   disables the rule's edits without removing the surface.
+ *   - `format/print-width` — always on, driven by `printWidth`,
+ *   `tabWidth`, `useTabs`, `endOfLine`.
+ *   - `format/sort-imports` — opt-in. Setting `importOrder` enables it.
+ *   - `format/jsdoc` — opt-in. Setting `jsdoc` enables it.
  *
- * Format findings produced from this block are off by default. Set `severity`
- * only when a project intentionally wants check-time format diagnostics.
+ *   Format findings produced from this block are off by default. Set `severity`
+ *   only when a project intentionally wants check-time format diagnostics.
  */
 export interface ITtscLintFormatConfig {
     /**
@@ -62,30 +62,30 @@ export interface ITtscLintFormatConfig {
      */
     severity?: TtscLintSeverity;
     /**
-     * Insert trailing semicolons on ASI-terminated statements. Mirrors
-     * Prettier's `semi`. `false` flips the rule to require *no*
-     * trailing semicolon (rare; matches prettier's `semi: false`).
+     * Insert trailing semicolons on ASI-terminated statements. Mirrors Prettier's
+     * `semi`. `false` flips the rule to require _no_ trailing semicolon (rare;
+     * matches prettier's `semi: false`).
      *
      * @default true
      */
     semi?: boolean;
     /**
-     * Prefer single-quoted strings. Mirrors Prettier's `singleQuote`.
-     * `false` means double quotes (Prettier's default).
+     * Prefer single-quoted strings. Mirrors Prettier's `singleQuote`. `false`
+     * means double quotes (Prettier's default).
      *
      * @default false
      */
     singleQuote?: boolean;
     /**
-     * Trailing-comma policy. Mirrors Prettier's `trailingComma`. The
-     * `"none"` mode disables the rule's edits.
+     * Trailing-comma policy. Mirrors Prettier's `trailingComma`. The `"none"`
+     * mode disables the rule's edits.
      *
      * @default "all"
      */
     trailingComma?: "all" | "es5" | "none";
     /**
-     * Maximum column width before broken-form layout is chosen.
-     * Mirrors Prettier's `printWidth`.
+     * Maximum column width before broken-form layout is chosen. Mirrors
+     * Prettier's `printWidth`.
      *
      * @default 80
      */
@@ -103,19 +103,18 @@ export interface ITtscLintFormatConfig {
      */
     useTabs?: boolean;
     /**
-     * Line terminator the printer emits on reflow. `@ttsc/lint`
-     * supports `"lf"` and `"crlf"`. Prettier's `"cr"` and `"auto"` are
-     * intentionally unsupported because the printer does not
-     * auto-detect line endings.
+     * Line terminator the printer emits on reflow. `@ttsc/lint` supports `"lf"`
+     * and `"crlf"`. Prettier's `"cr"` and `"auto"` are intentionally unsupported
+     * because the printer does not auto-detect line endings.
      *
      * @default "lf"
      */
     endOfLine?: "lf" | "crlf";
     /**
-     * Group order for `format/sort-imports`. Setting this enables the
-     * rule; mirrors `@trivago/prettier-plugin-sort-imports`'
-     * `importOrder`. The `<THIRD_PARTY_MODULES>` literal is the
-     * catch-all placeholder for specifiers that match no other group.
+     * Group order for `format/sort-imports`. Setting this enables the rule;
+     * mirrors `@trivago/prettier-plugin-sort-imports`' `importOrder`. The
+     * `<THIRD_PARTY_MODULES>` literal is the catch-all placeholder for specifiers
+     * that match no other group.
      */
     importOrder?: readonly ("<THIRD_PARTY_MODULES>" | (string & {}))[];
     /**
@@ -125,8 +124,7 @@ export interface ITtscLintFormatConfig {
      */
     importOrderSeparation?: boolean;
     /**
-     * Sort named import specifiers alphabetically within each
-     * declaration.
+     * Sort named import specifiers alphabetically within each declaration.
      *
      * @default true
      */
@@ -138,13 +136,13 @@ export interface ITtscLintFormatConfig {
      */
     importOrderCaseInsensitive?: boolean;
     /**
-     * Enable `format/jsdoc`. Pass `true` to turn it on with built-in
-     * defaults, or an object to customize:
+     * Enable `format/jsdoc`. Pass `true` to turn it on with built-in defaults, or
+     * an object to customize:
      *
-     *   - `tagSynonyms` — extra `from → to` rewrites layered on the
-     *     built-in synonym table.
-     *   - `sortTags` — sort JSDoc tags into canonical order (reserved;
-     *     today's MVP only rewrites tag names).
+     * - `tagSynonyms` — extra `from → to` rewrites layered on the built-in synonym
+     *   table.
+     * - `sortTags` — sort JSDoc tags into canonical order (reserved; today's MVP
+     *   only rewrites tag names).
      *
      * @default false (off)
      */

package/lib/structures/ITtscLintPluginConfig.d.ts

@@ -1,5 +1,3 @@
-import type { ITtscLintFormatConfig } from "./ITtscLintFormatConfig";
-import type { TtscLintRuleMap } from "./TtscLintRuleMap";
 /** `compilerOptions.plugins[]` entry shape consumed by `@ttsc/lint`. */
 export interface ITtscLintPluginConfig {
     /** Set to `false` to keep the entry while disabling this plugin. */
@@ -7,89 +5,24 @@ export interface ITtscLintPluginConfig {
     /** Plugin module specifier. */
     transform?: string;
     /**
-     * Inline rule severity map applied to the project.
+     * Path to the lint config file, overriding auto-discovery.
      *
-     * Mirrors the `rules` field of an ESLint flat-config entry. When set, the
-     * sidecar uses this map directly and does NOT consult any `lint.config.*`
-     * file (use `extends` for that). Combine with `plugins` to register
-     * contributor rule namespaces in the same entry.
+     * Relative paths are resolved from the tsconfig directory; absolute paths are
+     * used as-is. Accepts the usual `lint.config.*` / `ttsc-lint.config.*`
+     * extensions (`.ts`, `.cts`, `.mts`, `.js`, `.cjs`, `.mjs`, `.json`).
      *
-     * ```jsonc
-     * {
-     *   "transform": "@ttsc/lint",
-     *   "rules": { "no-var": "error", "prefer-const": "warning" }
-     * }
-     * ```
-     */
-    rules?: TtscLintRuleMap;
-    /**
-     * Path to a standalone lint config file whose rules should be applied to this
-     * project. Relative paths are resolved from the tsconfig directory. Accepts
-     * the usual `lint.config.*` / `ttsc-lint.config.*` / `eslint.config.*`
-     * extensions.
-     *
-     * Mirrors the `extends` field of an ESLint flat-config entry — "inherit this
-     * file's configuration".
-     *
-     * ```jsonc
-     * {
-     *   "transform": "@ttsc/lint",
-     *   "extends": "./lint.config.ts"
-     * }
-     * ```
-     *
-     * `rules` and `extends` are mutually exclusive on a single plugin entry; the
-     * sidecar surfaces a loud error when both are set.
-     */
-    extends?: string;
-    /**
-     * Contributor lint plugins to compile into the `@ttsc/lint` binary.
-     *
-     * Each entry maps a namespace (rule-name prefix) to an npm specifier or
-     * relative path. The factory resolves the package, reads its exported
-     * `ITtscLintPlugin` descriptor, and forwards the Go source directory to
-     * ttsc's plugin builder via the `contributors` field.
+     * When omitted, `@ttsc/lint` discovers a `lint.config.*` /
+     * `ttsc-lint.config.*` file by walking upward from the tsconfig directory.
      *
      * ```jsonc
      * {
      *   "transform": "@ttsc/lint",
-     *   "plugins": { "demo": "ttsc-lint-plugin-demo" },
-     *   "rules": { "demo/no-todo-comment": "error" }
+     *   "configFile": "./lint.config.ts"
      * }
      * ```
-     */
-    plugins?: Record<string, string>;
-    /**
-     * Prettier-style flat configuration for the `format/*` rules. Sibling of
-     * `rules`. See {@link ITtscLintFormatConfig} for the full surface.
-     *
-     * ```jsonc
-     * {
-     *   "transform": "@ttsc/lint",
-     *   "format": { "printWidth": 100, "singleQuote": true }
-     * }
-     * ```
-     *
-     * Combines with `rules` (per-rule overrides win on collision). Cannot be
-     * combined with `extends` on the same plugin entry — put format options
-     * inside the extends-target lint.config.ts instead.
-     */
-    format?: ITtscLintFormatConfig;
-    /**
-     * Inline rule map or path to a standalone lint config file.
-     *
-     * @deprecated Use `rules` for inline severity maps or `extends` for a config
-     *   file path. The sidecar maps a legacy `config` entry onto the appropriate
-     *   new field and emits a one-time stderr deprecation notice. Removed in a
-     *   future minor.
      *
-     *   The legacy shape is intentionally narrower than `rules`/`extends`: a string
-     *   (file path) or a flat rule-name → severity map. The Go-side parser only
-     *   accepts those two shapes; widening the TS type to the full config object
-     *   would silently let unsupported nested shapes pass type-checking and fail
-     *   at runtime.
+     * Every rule, format, and plugin setting lives in the config file — the
+     * tsconfig plugin entry carries nothing but this pointer.
      */
-    config?: string | TtscLintRuleMap;
-    /** Extra plugin-owned fields are passed through unchanged. */
-    [key: string]: unknown;
+    configFile?: string;
 }

package/lib/structures/ITtscLintPluginMeta.d.ts

@@ -1,4 +1,12 @@
-/** Plugin-level metadata shared with the diagnostic surface. */
+/**
+ * Plugin-level metadata exposed on `ITtscLintPlugin.meta`.
+ *
+ * All fields are optional. When `namespace` is absent, `@ttsc/lint` falls back
+ * to the key used in the tsconfig `plugins` map (or `lint.config.*` `plugins`
+ * object) as the rule-name prefix. `name` and `version` are purely
+ * informational — they appear in diagnostic messages and are not validated at
+ * build time.
+ */
 export interface ITtscLintPluginMeta {
     /** Plugin package name as published on npm. */
     name?: string;

package/lib/structures/TtscLintRule.d.ts

@@ -1,8 +1,17 @@
 /**
- * Lint rule names understood by the `@ttsc/lint` native sidecar.
+ * Union of every built-in lint rule name understood by the `@ttsc/lint` native
+ * sidecar.
  *
  * These names intentionally mirror familiar ESLint / TypeScript-ESLint rule
  * names so a `compilerOptions.plugins[]` entry can configure native linting
  * without introducing a separate lint config file.
+ *
+ * The `format/*` members at the bottom of the union are applied by `ttsc
+ * format`; their severity also controls whether `ttsc check` surfaces
+ * unformatted code as a diagnostic.
+ *
+ * This type is used as the key constraint in `TtscLintRuleMap` for rules that
+ * carry no per-rule options. Rules with typed option objects are additionally
+ * listed in `ITtscLintRuleOptionsMap`.
  */
 export type TtscLintRule = "adjacent-overload-signatures" | "array-type" | "await-thenable" | "ban-ts-comment" | "ban-tslint-comment" | "consistent-indexed-object-style" | "consistent-type-assertions" | "consistent-type-definitions" | "consistent-type-imports" | "default-param-last" | "dot-notation" | "eqeqeq" | "for-direction" | "no-alert" | "no-array-constructor" | "no-array-delete" | "no-async-promise-executor" | "no-bitwise" | "no-caller" | "no-case-declarations" | "no-class-assign" | "no-compare-neg-zero" | "no-cond-assign" | "no-confusing-non-null-assertion" | "no-console" | "no-constant-condition" | "no-continue" | "no-control-regex" | "no-debugger" | "no-delete-var" | "no-dupe-args" | "no-dupe-else-if" | "no-dupe-keys" | "no-duplicate-case" | "no-duplicate-enum-values" | "no-dynamic-delete" | "no-empty" | "no-empty-character-class" | "no-empty-function" | "no-empty-interface" | "no-empty-object-type" | "no-empty-pattern" | "no-empty-static-block" | "no-eq-null" | "no-eval" | "no-ex-assign" | "no-explicit-any" | "no-extra-bind" | "no-extra-boolean-cast" | "no-extra-non-null-assertion" | "no-fallthrough" | "no-func-assign" | "no-import-type-side-effects" | "no-inferrable-types" | "no-inner-declarations" | "no-irregular-whitespace" | "no-iterator" | "no-labels" | "no-lone-blocks" | "no-lonely-if" | "no-loss-of-precision" | "no-misleading-character-class" | "no-misused-new" | "no-mixed-enums" | "no-multi-assign" | "no-multi-str" | "no-namespace" | "no-negated-condition" | "no-nested-ternary" | "no-new" | "no-new-func" | "no-new-wrappers" | "no-non-null-asserted-nullish-coalescing" | "no-non-null-asserted-optional-chain" | "no-non-null-assertion" | "no-obj-calls" | "no-object-constructor" | "no-octal" | "no-octal-escape" | "no-plusplus" | "no-promise-executor-return" | "no-proto" | "no-prototype-builtins" | "no-regex-spaces" | "no-require-imports" | "no-return-assign" | "no-script-url" | "no-self-assign" | "no-self-compare" | "no-sequences" | "no-setter-return" | "no-shadow-restricted-names" | "no-sparse-arrays" | "no-template-curly-in-string" | "no-this-alias" | "no-throw-literal" | "no-undef-init" | "no-undefined" | "no-unnecessary-type-constraint" | "no-unneeded-ternary" | "no-unsafe-declaration-merging" | "no-unsafe-finally" | "no-unsafe-function-type" | "no-unsafe-negation" | "no-unused-expressions" | "no-unused-labels" | "no-useless-call" | "no-useless-catch" | "no-useless-computed-key" | "no-useless-concat" | "no-useless-constructor" | "no-useless-escape" | "no-useless-rename" | "no-var" | "no-with" | "no-wrapper-object-types" | "object-shorthand" | "operator-assignment" | "prefer-as-const" | "prefer-const" | "prefer-enum-initializers" | "prefer-exponentiation-operator" | "prefer-for-of" | "prefer-function-type" | "prefer-literal-enum-member" | "prefer-namespace-keyword" | "prefer-spread" | "prefer-template" | "radix" | "require-yield" | "triple-slash-reference" | "use-isnan" | "valid-typeof" | "vars-on-top" | "yoda" | "format/semi" | "format/quotes" | "format/trailing-comma" | "format/sort-imports" | "format/jsdoc" | "format/print-width";

package/lib/structures/TtscLintRuleMap.d.ts

@@ -10,8 +10,8 @@ import type { TtscLintSeverity } from "./TtscLintSeverity";
  *   `[severity, options]`, with the options type picked per rule key.
  * - Every other built-in rule accepts `severity` or `[severity]`.
  * - Namespaced contributor plugin rules accept `severity`, `[severity]`, or
- *   `[severity, unknownOptions]` because the host type surface no longer
- *   knows contributor rule schemas.
+ *   `[severity, unknownOptions]` because the host type surface no longer knows
+ *   contributor rule schemas.
  *
  * Splitting the two halves (instead of folding them into one mapped type with a
  * conditional value) keeps TypeScript's contextual typing intact inside the

package/lib/structures/TtscLintRuleOptions.d.ts

@@ -89,6 +89,20 @@ export interface ITtscLintPrintWidthRuleOptions {
      * @default "lf"
      */
     endOfLine?: "lf" | "crlf";
+    /**
+     * Trailing-comma policy the reflow honors when it breaks a list across
+     * lines. Mirrors prettier's `trailingComma` and must match the
+     * `format/trailing-comma` rule's `mode`; otherwise the two rules
+     * disagree on every cascade pass and oscillate against each other.
+     *
+     * When a `format` block is configured, `format.trailingComma` is mirrored
+     * into this option automatically. Set it directly only when overriding
+     * the print-width rule via a `rules` tuple — see the conflict-resolution
+     * notes in the README.
+     *
+     * @default "all"
+     */
+    trailingComma?: "all" | "es5" | "none";
 }
 /** `format/jsdoc` rule options. */
 export interface ITtscLintJsdocRuleOptions {

package/linthost/ast_helpers.go

@@ -96,6 +96,10 @@ func findKeyword(file *shimast.SourceFile, pos, end int, keyword string) int {
   return -1
 }
 
+// tokenRange returns the half-open byte range [pos, end) of `node` with
+// leading trivia stripped, mirroring what ReportFix would anchor to.
+// Returns (-1, -1) when either argument is nil or the computed range is
+// out of bounds.
 func tokenRange(file *shimast.SourceFile, node *shimast.Node) (int, int) {
   if file == nil || node == nil {
     return -1, -1
@@ -109,6 +113,10 @@ func tokenRange(file *shimast.SourceFile, node *shimast.Node) (int, int) {
   return pos, end
 }
 
+// isIdentifierPart reports whether `ch` can appear inside a JavaScript
+// identifier — used as a word-boundary guard by keyword search helpers.
+// Handles only ASCII; multibyte Unicode identifier parts are treated as
+// non-identifier (conservative; callers only need ASCII keyword tokens).
 func isIdentifierPart(ch byte) bool {
   return (ch >= 'a' && ch <= 'z') ||
     (ch >= 'A' && ch <= 'Z') ||
@@ -272,28 +280,89 @@ func walkDescendants(node *shimast.Node, visit func(*shimast.Node)) {
   })
 }
 
-func bindingIdentifierNames(node *shimast.Node) []string {
+// assignmentTargetNames collects the identifier names written by an
+// assignment's left-hand side. A bare Identifier yields one name. A
+// destructuring-assignment target — parsed as an ArrayLiteralExpression
+// (`[a, b] = …`) or ObjectLiteralExpression (`({a} = …)`) rather than a
+// binding pattern — is walked so every nested write position is counted:
+// array elements, object property values, shorthand properties, defaults
+// (`[a = 1]`, `{a = 1}`), nested patterns, and rest elements.
+//
+// Property names in `{key: target}` are read positions, not writes, so
+// only the property value contributes; member-access targets (`obj.x`)
+// declare no local binding and are skipped. Returns nil for other shapes.
+func assignmentTargetNames(node *shimast.Node) []string {
   if node == nil {
     return nil
   }
   if name := identifierText(node); name != "" {
     return []string{name}
   }
-  if node.Kind != shimast.KindObjectBindingPattern && node.Kind != shimast.KindArrayBindingPattern {
-    return nil
-  }
   var names []string
-  walkDescendants(node, func(child *shimast.Node) {
-    if child == node {
-      return
+  collectAssignmentTargetNames(node, &names)
+  return names
+}
+
+// collectAssignmentTargetNames appends to `names` every identifier in a
+// destructuring-assignment target. It descends only through write-target
+// positions so reads (object property keys, computed-member expressions)
+// never count as reassignments.
+func collectAssignmentTargetNames(node *shimast.Node, names *[]string) {
+  if node == nil {
+    return
+  }
+  switch node.Kind {
+  case shimast.KindIdentifier:
+    if name := identifierText(node); name != "" {
+      *names = append(*names, name)
     }
-    if name := identifierText(child); name != "" {
-      names = append(names, name)
+  case shimast.KindParenthesizedExpression:
+    collectAssignmentTargetNames(stripParens(node), names)
+  case shimast.KindArrayLiteralExpression:
+    if arr := node.AsArrayLiteralExpression(); arr != nil && arr.Elements != nil {
+      for _, el := range arr.Elements.Nodes {
+        collectAssignmentTargetNames(el, names)
+      }
     }
-  })
-  return names
+  case shimast.KindObjectLiteralExpression:
+    if obj := node.AsObjectLiteralExpression(); obj != nil && obj.Properties != nil {
+      for _, prop := range obj.Properties.Nodes {
+        collectAssignmentTargetNames(prop, names)
+      }
+    }
+  case shimast.KindSpreadElement:
+    if spread := node.AsSpreadElement(); spread != nil {
+      collectAssignmentTargetNames(spread.Expression, names)
+    }
+  case shimast.KindSpreadAssignment:
+    if spread := node.AsSpreadAssignment(); spread != nil {
+      collectAssignmentTargetNames(spread.Expression, names)
+    }
+  case shimast.KindShorthandPropertyAssignment:
+    // `{a}` and `{a = 1}` — the property name is the write target; any
+    // ObjectAssignmentInitializer is a default value, not a target.
+    if short := node.AsShorthandPropertyAssignment(); short != nil {
+      collectAssignmentTargetNames(short.Name(), names)
+    }
+  case shimast.KindPropertyAssignment:
+    // `{key: target}` — only the value (initializer) is written to.
+    if assignment := node.AsPropertyAssignment(); assignment != nil {
+      collectAssignmentTargetNames(assignment.Initializer, names)
+    }
+  case shimast.KindBinaryExpression:
+    // A default inside a pattern (`[a = 1]`, `{key: a = 1}`) parses as an
+    // `=` BinaryExpression; only its left side is the write target.
+    if expr := node.AsBinaryExpression(); expr != nil &&
+      expr.OperatorToken != nil && expr.OperatorToken.Kind == shimast.KindEqualsToken {
+      collectAssignmentTargetNames(expr.Left, names)
+    }
+  }
 }
 
+// isLiteralLike reports whether `node` (after stripping parentheses) is a
+// compile-time constant expression: a bare literal or a unary `+`/`-`
+// applied to a numeric or bigint literal. Used by rules that flag
+// constant-valued operands (e.g. `no-constant-condition`).
 func isLiteralLike(node *shimast.Node) bool {
   node = stripParens(node)
   if node == nil {