arrayutilssnippet.vpst.json

    {"__type": "Function", 
      "range": {"__type": "Range", "begin": 188, "end": 253},
      "header": {"__type": "FunctionHeader", 
        "range": {"__type": "Range", "begin": 188, "end": 229},
        "name": {"__type": "Some", 
          "value": {"__type": "Name", "range": {"__type": "Range", "begin": 191, "end": 194}, "name": "has"}},
        "attributes": [],
        "maybeUserSpecifiedIdentifyingRunes": {"__type": "Some", 
          "value": {"__type": "IdentifyingRunes", 
            "range": {"__type": "Range", "begin": 194, "end": 197},
            "identifyingRunes": [
              {"__type": "IdentifyingRune", 
                "range": {"__type": "Range", "begin": 195, "end": 196},
                "name": {"__type": "Name", "range": {"__type": "Range", "begin": 195, "end": 196}, "name": "E"},
                "attributes": []}]}},
        "templateRules": {"__type": "None"},
        "params": {"__type": "Some", 
          "value": {"__type": "IdentifyingRunes", 
            "range": {"__type": "Range", "begin": 197, "end": 223},
            "patterns": [
              {"__type": "IdentifyingRunes", 
                "range": {"__type": "Range", "begin": 198, "end": 214},
                "preBorrow": {"__type": "None"},
                "capture": {"__type": "Some", 
                  "value": {"__type": "Capture", 
                    "range": {"__type": "Range", "begin": 198, "end": 201},
                    "captureName": {"__type": "LocalName", 
                      "name": {"__type": "Name", "range": {"__type": "Range", "begin": 198, "end": 201}, "name": "arr"}},
                    "variability": {"__type": "Final"}}},
                "templex": {"__type": "Some", 
                  "value": {"__type": "InterpretedT", 
                    "range": {"__type": "Range", "begin": 202, "end": 214},
                    "ownership": {"__type": "Constraint"},
                    "permission": {"__type": "Readonly"},
                    "inner": {"__type": "CallT", 
                      "range": {"__type": "Range", "begin": 203, "end": 214},
                      "template": {"__type": "NameOrRuneT", 
                        "rune": {"__type": "Name", "range": {"__type": "Range", "begin": 203, "end": 208}, "name": "Array"}},
                      "args": [
                        {"__type": "AnonymousRuneT", "range": {"__type": "Range", "begin": 209, "end": 210}},
                        {"__type": "NameOrRuneT", 
                          "rune": {"__type": "Name", "range": {"__type": "Range", "begin": 212, "end": 213}, "name": "E"}}]}}},
                "destructure": {"__type": "None"},
                "virtuality": {"__type": "None"}},
              {"__type": "IdentifyingRunes", 
                "range": {"__type": "Range", "begin": 216, "end": 222},
                "preBorrow": {"__type": "None"},
                "capture": {"__type": "Some", 
                  "value": {"__type": "Capture", 
                    "range": {"__type": "Range", "begin": 216, "end": 220},
                    "captureName": {"__type": "LocalName", 
                      "name": {"__type": "Name", "range": {"__type": "Range", "begin": 216, "end": 220}, "name": "elem"}},
                    "variability": {"__type": "Final"}}},
                "templex": {"__type": "Some", 
                  "value": {"__type": "NameOrRuneT", 
                    "rune": {"__type": "Name", "range": {"__type": "Range", "begin": 221, "end": 222}, "name": "E"}}},
                "destructure": {"__type": "None"},
                "virtuality": {"__type": "None"}}]}},
        "ret": {"__type": "FunctionReturn", 
          "range": {"__type": "Range", "begin": 224, "end": 229},
          "inferRet": {"__type": "None"},
          "retType": {"__type": "Some", 
            "value": {"__type": "NameOrRuneT", 
              "rune": {"__type": "Name", "range": {"__type": "Range", "begin": 224, "end": 228}, "name": "bool"}}}}},
      "body": {"__type": "Some", 
        "value": {"__type": "Block", 
          "range": {"__type": "Range", "begin": 229, "end": 253},
          "elements": [
            {"__type": "FunctionCall", 
              "range": {"__type": "Range", "begin": 233, "end": 251},
              "inline": {"__type": "None"},
              "operatorRange": {"__type": "Range", "begin": 236, "end": 236},
              "isMapCall": false,
              "callableExpr": {"__type": "Lookup", 
                "name": {"__type": "Name", "range": {"__type": "Range", "begin": 233, "end": 236}, "name": "has"},
                "templateArgs": {"__type": "None"}},
              "argExprs": [
                {"__type": "Lookup", 
                  "name": {"__type": "Name", "range": {"__type": "Range", "begin": 237, "end": 240}, "name": "arr"},
                  "templateArgs": {"__type": "None"}},
                {"__type": "Lookup", 
                  "name": {"__type": "Name", "range": {"__type": "Range", "begin": 242, "end": 246}, "name": "elem"},
                  "templateArgs": {"__type": "None"}},
                {"__type": "Lookup", 
                  "name": {"__type": "Name", "range": {"__type": "Range", "begin": 248, "end": 250}, "name": "=="},
                  "templateArgs": {"__type": "None"}}],
              "callableTargetOwnership": {"__type": "LendConstraint", "permission": {"__type": "None"}}}]}}}