-- Python 3.10 semantic analysis test cases.

[case testCapturePattern]
x = 1
match x:
  case a:
    a
[out]
MypyFile:1(
  AssignmentStmt:1(
    NameExpr(x [__main__.x])
    IntExpr(1)
    builtins.int)
  MatchStmt:2(
    NameExpr(x [__main__.x])
    Pattern(
      AsPattern:3(
        NameExpr(a* [__main__.a])))
    Body(
      ExpressionStmt:4(
        NameExpr(a [__main__.a])))))

[case testCapturePatternOutliving]
x = 1
match x:
    case a:
      pass
a
[out]
MypyFile:1(
  AssignmentStmt:1(
    NameExpr(x [__main__.x])
    IntExpr(1)
    builtins.int)
  MatchStmt:2(
    NameExpr(x [__main__.x])
    Pattern(
      AsPattern:3(
        NameExpr(a* [__main__.a])))
    Body(
      PassStmt:4()))
  ExpressionStmt:5(
    NameExpr(a [__main__.a])))

[case testNestedCapturePatterns]
x = 1
match x:
    case ([a], {'k': b}):
        a
        b
[out]
MypyFile:1(
  AssignmentStmt:1(
    NameExpr(x [__main__.x])
    IntExpr(1)
    builtins.int)
  MatchStmt:2(
    NameExpr(x [__main__.x])
    Pattern(
      SequencePattern:3(
        SequencePattern:3(
          AsPattern:3(
            NameExpr(a* [__main__.a])))
        MappingPattern:3(
          Key(
            StrExpr(k))
          Value(
            AsPattern:3(
              NameExpr(b* [__main__.b]))))))
    Body(
      ExpressionStmt:4(
        NameExpr(a [__main__.a]))
      ExpressionStmt:5(
        NameExpr(b [__main__.b])))))

[case testMappingPatternRest]
x = 1
match x:
    case {**r}:
        r
[out]
MypyFile:1(
  AssignmentStmt:1(
    NameExpr(x [__main__.x])
    IntExpr(1)
    builtins.int)
  MatchStmt:2(
    NameExpr(x [__main__.x])
    Pattern(
      MappingPattern:3(
        Rest(
          NameExpr(r* [__main__.r]))))
    Body(
      ExpressionStmt:4(
        NameExpr(r [__main__.r])))))


[case testAsPattern]
x = 1
match x:
    case 1 as a:
        a
[out]
MypyFile:1(
  AssignmentStmt:1(
    NameExpr(x [__main__.x])
    IntExpr(1)
    builtins.int)
  MatchStmt:2(
    NameExpr(x [__main__.x])
    Pattern(
      AsPattern:3(
        ValuePattern:3(
          IntExpr(1))
        NameExpr(a* [__main__.a])))
    Body(
      ExpressionStmt:4(
        NameExpr(a [__main__.a])))))

[case testGuard]
x = 1
a = 1
match x:
    case 1 if a:
        pass
[out]
MypyFile:1(
  AssignmentStmt:1(
    NameExpr(x [__main__.x])
    IntExpr(1)
    builtins.int)
  AssignmentStmt:2(
    NameExpr(a [__main__.a])
    IntExpr(1)
    builtins.int)
  MatchStmt:3(
    NameExpr(x [__main__.x])
    Pattern(
      ValuePattern:4(
        IntExpr(1)))
    Guard(
      NameExpr(a [__main__.a]))
    Body(
      PassStmt:5())))

[case testCapturePatternInGuard]
x = 1
match x:
  case a if a:
    pass
[out]
MypyFile:1(
  AssignmentStmt:1(
    NameExpr(x [__main__.x])
    IntExpr(1)
    builtins.int)
  MatchStmt:2(
    NameExpr(x [__main__.x])
    Pattern(
      AsPattern:3(
        NameExpr(a* [__main__.a])))
    Guard(
      NameExpr(a [__main__.a]))
    Body(
      PassStmt:4())))

[case testAsPatternInGuard]
x = 1
match x:
    case 1 as a if a:
        pass
[out]
MypyFile:1(
  AssignmentStmt:1(
    NameExpr(x [__main__.x])
    IntExpr(1)
    builtins.int)
  MatchStmt:2(
    NameExpr(x [__main__.x])
    Pattern(
      AsPattern:3(
        ValuePattern:3(
          IntExpr(1))
        NameExpr(a* [__main__.a])))
    Guard(
      NameExpr(a [__main__.a]))
    Body(
      PassStmt:4())))

[case testValuePattern]
import _a

x = 1
match x:
    case _a.b:
        pass
[fixture _a.py]
b = 1
[out]
MypyFile:1(
  Import:1(_a)
  AssignmentStmt:3(
    NameExpr(x [__main__.x])
    IntExpr(1)
    builtins.int)
  MatchStmt:4(
    NameExpr(x [__main__.x])
    Pattern(
      ValuePattern:5(
        MemberExpr:5(
          NameExpr(_a)
          b [_a.b])))
    Body(
      PassStmt:6())))