avoid-unrelated-type-assertions

// Test cases for avoid-unrelated-type-assertions rule
// Flags 'is T' checks that are structurally impossible

void testStringIsInt() {
  if ("hello" is int) {
    print("string is int");
  }
}

void testIntIsString() {
  if (42 is String) {
    print("int is string");
  }
}

void testDoubleIsBool() {
  if (3.14 is bool) {
    print("double is bool");
  }
}

void testListIsMap() {
  if ([1, 2, 3] is Map) {
    print("list is map");
  }
}

void testMultipleImpossibleAssertions() {
  final x = "test";
  final y = 42;
  final z = true;

  if (x is int) {
    print("x is int");
  }

  if (y is String) {
    print("y is string");
  }

  if (z is List) {
    print("z is list");
  }
}

void testStringIsMapType() {
  if ("value" is Map<String, int>) {
    print("string is map");
  }
}

void testConditionalExpressionImpossible() {
  final result = "text" is int ? "yes" : "no";
}

void testOldStyleFunctionFormal(String callback()) {
  if (callback is String) {
    print("function is string");
  }
}

void testForInBindings() {
  for (final value in <String>['x']) {
    if (value is int) {
      print("string is int");
    }
  }
  for (String value in <String>['x']) {
    if (value is int) {
      print("string is int");
    }
  }
  for (final [value] in <List<String>>[
    ['x'],
  ]) {
    if (value is int) {
      print("string is int");
    }
  }
}

class ConstructorInitializerCheck {
  final bool impossible;

  ConstructorInitializerCheck()
      : impossible = "text" is int;
}

// Regression: the violation must still be found inside Dart 3 containers
// (pattern declaration, labeled statement, switch expression and subject,
// collection if/spread, record field).
void containersRegression(int rcount) {
  final (ra, _) = ("hello" is int, 0);
  lbl: {
    final rb = "hello" is int;
    print(rb);
  }
  final rc = switch (rcount) {
    0 => "hello" is int,
    _ => null,
  };
  final rd = switch ("hello" is int) {
    _ => 0,
  };
  final re = [if (rcount > 0) "hello" is int];
  final rf = [...["hello" is int]];
  final rg = (p: "hello" is int, q: 0);
  print([ra, rc, rd, re, rf, rg]);
}