package linthost

import "testing"

// TestFixPreferAsConstSkipsTemplateLiteralAssertion verifies preferAsConst ignores template-literal assertions.
//
// Upstream compares ESTree `Literal` nodes only; a no-substitution template
// is a `TemplateLiteral` on both sides, so a template literal asserted to
// its identically spelled template literal type is a valid upstream
// fixture. Equal source text alone does not establish the ordinary literal
// node shape required by the native matcher.
//
//  1. Parse a source file with a template literal asserted to a template
//     literal type of identical spelling.
//  2. Run preferAsConst with the engine.
//  3. Assert zero findings.
//
// @evidence contracts/testing.md#behavioral-verification prefer-as-const emits no finding for equal no-substitution template expression and type.
// @evidence contracts/testing.md#independent-expectations The literal template/template fixture and zero findings independently pin the upstream TemplateLiteral exclusion.
// @evidence contracts/testing.md#distinguishing-cases Same spelling is insufficient when both nodes are templates rather than ordinary string literals.
// @evidence contracts/testing.md#execution-ownership TestFixPreferAsConstSkipsTemplateLiteralAssertion calls assertRuleSkipsSource on the template assertion.
func TestFixPreferAsConstSkipsTemplateLiteralAssertion(t *testing.T) {
  assertRuleSkipsSource(
    t,
    "typescript/prefer-as-const",
    "const value = `literal` as `literal`;\nJSON.stringify(value);\n",
  )
}