package linthost

import (
  "strings"
  "testing"
)

// TestRuleCorpusReturnAwait verifies an authored typed trigger for
// typescript/return-await under a real Program.
//
// `typescript/return-await` is type-aware: a parser-only engine run skips it
// because Context.Checker is nil. The rule therefore reuses the `command_*` shape
// established by `no-floating-promises`'s corpus test: materialize a tsconfig
// project, run `ttsc lint check`, and assert on the rendered diagnostics.
//
// The corpus fixture packages/lint/test/testdata/corpus/return-await.ts is run by TestLintFixtureCorpus; this Go scenario locks the minimum-viable
// trigger (`return getPromise()` inside a `try` block) so a future shim regression
// surfaces here without depending on the full fixture.
//
// 1. Seed a project that returns an unawaited Promise from inside a try block.
// 2. Run `check` with typescript/return-await enabled as error.
// 3. Assert the command exits non-zero and stderr mentions the rule.
//
// @evidence contracts/testing.md#behavioral-verification Unawaited Promise return inside try must report.
// @evidence contracts/testing.md#independent-expectations The original authored input fixes exactly one typescript/return-await rendered error at line 4, code 2 and empty stdout; its independently authored typed counterpart requires code 0 and no rule errors.
// @evidence contracts/testing.md#distinguishing-cases The independently authored awaited return in the same try/catch shape produces no rule error; the test does not execute Promise rejection handling.
// @evidence contracts/testing.md#execution-ownership TestRuleCorpusReturnAwait invokes the in-process check command and shared typed semantic oracles over real Program/Checker instances; fixture configuration feeds that operation without a native build, child compiler or installed consumer.
func TestRuleCorpusReturnAwait(t *testing.T) {
  root := seedLintProject(t, `declare function getPromise(): Promise<number>;
async function main(): Promise<number> {
  try {
    return getPromise();
  } catch (err) {
    JSON.stringify(err);
    return 0;
  }
}
void main();
`)
  seedLintRules(t, root, map[string]string{"typescript/return-await": "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/return-await]") {
    t.Fatalf("return-await diagnostic mismatch: code=%d stdout=%q stderr=%q", code, stdout, stderr)
  }
  assertTypedRuleRenderedErrors(t, "typescript/return-await", stderr, 4)
  assertTypedRuleCleanSource(t, "typescript/return-await", "declare function getPromise(): Promise<number>;\nasync function main(): Promise<number> { try { return await getPromise(); } catch (err) { JSON.stringify(err); return 0; } }\nvoid main;\n")
}