package linthost

import (
  "strings"
  "testing"
)

// TestRuleCorpusNoForInArray verifies a reduced trigger from the lint rule corpus
// typescript-no-for-in-array.ts under a real Program.
//
// `typescript/no-for-in-array` is type-aware: a parser-only engine run skips it
// because Context.Checker is nil. This Go scenario therefore reuses the
// `seedLintProject` shape established by `no-floating-promises` and
// `non-nullable-type-assertion-style`: materialize a tsconfig project, run `ttsc
// lint check`, and assert on the rendered diagnostics.
//
// The corpus fixture packages/lint/test/testdata/corpus/typescript-no-for-in-array.ts is run by TestLintFixtureCorpus; this Go scenario locks the minimum-viable trigger (`for
// (const k in arr)` over a `number[]`) so a future shim regression surfaces here
// without depending on the full fixture.
//
// 1. Seed a project that iterates a typed `number[]` with `for...in`.
// 2. Run `check` with typescript/no-for-in-array enabled as error.
// 3. Assert the command exits non-zero and stderr mentions the rule.
//
// @evidence contracts/testing.md#behavioral-verification For-in over a checker-resolved array must report.
// @evidence contracts/testing.md#independent-expectations The authored original source requires exactly one typescript/no-for-in-array rendered error at line 2, exit code 2 and empty stdout; an independently authored clean source requires code 0 and no rule findings.
// @evidence contracts/testing.md#distinguishing-cases An otherwise identical for-in over a record remains clean.
// @evidence contracts/testing.md#execution-ownership TestRuleCorpusNoForInArray runs the real Program/Checker via the in-process check command and shared typed semantic oracles; fixture project files configure the operation without installing, building a native artifact or spawning a compiler.
func TestRuleCorpusNoForInArray(t *testing.T) {
  root := seedLintProject(t, `declare const arr: number[];
for (const key in arr) {
  JSON.stringify(key);
}
`)
  seedLintRules(t, root, map[string]string{"typescript/no-for-in-array": "error"})

  code, stdout, stderr := captureCommandOutput(t, func() int {
    return run([]string{
      "check",
      "--cwd", root,
      "--plugins-json", lintManifest(t),
    })
  })
  if code != 2 || stdout != "" || !strings.Contains(stderr, "[typescript/no-for-in-array]") {
    t.Fatalf("no-for-in-array diagnostic mismatch: code=%d stdout=%q stderr=%q", code, stdout, stderr)
  }
  assertTypedRuleRenderedErrors(t, "typescript/no-for-in-array", stderr, 2)
  assertTypedRuleCleanSource(t, "typescript/no-for-in-array", "declare const record: { value: number };\nfor (const key in record) { JSON.stringify(key); }\n")
}