extensions:
  - addsTo:
      pack: codeql/csharp-all
      extensible: summaryModel
    data:
      - ["System.Collections.Immutable", "IImmutableDictionary<TKey,TValue>", True, "AddRange", "(System.Collections.Generic.IEnumerable<System.Collections.Generic.KeyValuePair<TKey,TValue>>)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "IImmutableDictionary<TKey,TValue>", True, "Clear", "()", "", "Argument[this].WithoutElement", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "IImmutableList<T>", True, "Add", "(T)", "", "Argument[0]", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "IImmutableList<T>", True, "AddRange", "(System.Collections.Generic.IEnumerable<T>)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "IImmutableList<T>", True, "Clear", "()", "", "Argument[this].WithoutElement", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "IImmutableQueue<T>", True, "Clear", "()", "", "Argument[this].WithoutElement", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "IImmutableSet<T>", True, "Add", "(T)", "", "Argument[0]", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "IImmutableSet<T>", True, "Clear", "()", "", "Argument[this].WithoutElement", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "IImmutableStack<T>", True, "Clear", "()", "", "Argument[this].WithoutElement", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableArray", False, "ToImmutableArray<T>", "(System.Span<T>)", "", "Argument[0].Element", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableArray", False, "ToImmutableArray<T>", "(System.ReadOnlySpan<T>)", "", "Argument[0].Element", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableArray<T>+Builder", False, "AddRange", "(System.Collections.Generic.IEnumerable<T>)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableArray<T>+Builder", False, "AddRange", "(System.Collections.Immutable.ImmutableArray<T>)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableArray<T>+Builder", False, "AddRange", "(System.Collections.Immutable.ImmutableArray<T>+Builder)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableArray<T>+Builder", False, "AddRange", "(T[])", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableArray<T>+Builder", False, "AddRange<TDerived>", "(System.Collections.Immutable.ImmutableArray<TDerived>)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableArray<T>+Builder", False, "AddRange<TDerived>", "(System.Collections.Immutable.ImmutableArray<TDerived>+Builder)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableArray<T>+Builder", False, "AddRange<TDerived>", "(TDerived[])", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableArray<T>+Builder", False, "GetEnumerator", "()", "", "Argument[this].Element", "ReturnValue.Property[System.Collections.Generic.IEnumerator`1.Current]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableDictionary<TKey,TValue>", False, "Add", "(System.Collections.Generic.KeyValuePair<TKey,TValue>)", "", "Argument[0].Property[System.Collections.Generic.KeyValuePair`2.Key]", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Key]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableDictionary<TKey,TValue>", False, "Add", "(System.Collections.Generic.KeyValuePair<TKey,TValue>)", "", "Argument[0].Property[System.Collections.Generic.KeyValuePair`2.Value]", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Value]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableDictionary<TKey,TValue>", False, "Add", "(TKey,TValue)", "", "Argument[0]", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Key]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableDictionary<TKey,TValue>", False, "Add", "(TKey,TValue)", "", "Argument[1]", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Value]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableDictionary<TKey,TValue>", False, "AddRange", "(System.Collections.Generic.IEnumerable<System.Collections.Generic.KeyValuePair<TKey,TValue>>)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableDictionary<TKey,TValue>", False, "GetEnumerator", "()", "", "Argument[this].Element", "ReturnValue.Property[System.Collections.Immutable.ImmutableDictionary`2+Enumerator.Current]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableDictionary<TKey,TValue>", False, "get_Item", "(TKey)", "", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Value]", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableDictionary<TKey,TValue>", False, "get_Keys", "()", "", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Key]", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableDictionary<TKey,TValue>", False, "get_Values", "()", "", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Value]", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableDictionary<TKey,TValue>+Builder", False, "Add", "(System.Collections.Generic.KeyValuePair<TKey,TValue>)", "", "Argument[0].Property[System.Collections.Generic.KeyValuePair`2.Key]", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Key]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableDictionary<TKey,TValue>+Builder", False, "Add", "(System.Collections.Generic.KeyValuePair<TKey,TValue>)", "", "Argument[0].Property[System.Collections.Generic.KeyValuePair`2.Value]", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Value]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableDictionary<TKey,TValue>+Builder", False, "AddRange", "(System.Collections.Generic.IEnumerable<System.Collections.Generic.KeyValuePair<TKey,TValue>>)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableDictionary<TKey,TValue>+Builder", False, "GetEnumerator", "()", "", "Argument[this].Element", "ReturnValue.Property[System.Collections.Immutable.ImmutableDictionary`2+Enumerator.Current]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableDictionary<TKey,TValue>+Builder", False, "get_Keys", "()", "", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Key]", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableDictionary<TKey,TValue>+Builder", False, "get_Values", "()", "", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Value]", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableHashSet<T>", False, "Add", "(T)", "", "Argument[0]", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableHashSet<T>", False, "Clear", "()", "", "Argument[this].WithoutElement", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableHashSet<T>", False, "GetEnumerator", "()", "", "Argument[this].Element", "ReturnValue.Property[System.Collections.Immutable.ImmutableHashSet`1+Enumerator.Current]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableHashSet<T>+Builder", False, "GetEnumerator", "()", "", "Argument[this].Element", "ReturnValue.Property[System.Collections.Immutable.ImmutableHashSet`1+Enumerator.Current]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>", False, "Add", "(T)", "", "Argument[0]", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>", False, "AddRange", "(System.Collections.Generic.IEnumerable<T>)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>", False, "Find", "(System.Predicate<T>)", "", "Argument[this].Element", "Argument[0].Parameter[0]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>", False, "Find", "(System.Predicate<T>)", "", "Argument[this].Element", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>", False, "FindAll", "(System.Predicate<T>)", "", "Argument[this].Element", "Argument[0].Parameter[0]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>", False, "FindAll", "(System.Predicate<T>)", "", "Argument[this].Element", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>", False, "FindLast", "(System.Predicate<T>)", "", "Argument[this].Element", "Argument[0].Parameter[0]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>", False, "FindLast", "(System.Predicate<T>)", "", "Argument[this].Element", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>", False, "GetEnumerator", "()", "", "Argument[this].Element", "ReturnValue.Property[System.Collections.Immutable.ImmutableList`1+Enumerator.Current]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>", False, "GetRange", "(System.Int32,System.Int32)", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>", False, "Insert", "(System.Int32,T)", "", "Argument[1]", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>", False, "InsertRange", "(System.Int32,System.Collections.Generic.IEnumerable<T>)", "", "Argument[1].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>", False, "Reverse", "()", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>", False, "Reverse", "(System.Int32,System.Int32)", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>", False, "get_Item", "(System.Int32)", "", "Argument[this].Element", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>+Builder", False, "AddRange", "(System.Collections.Generic.IEnumerable<T>)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>+Builder", False, "Find", "(System.Predicate<T>)", "", "Argument[this].Element", "Argument[0].Parameter[0]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>+Builder", False, "Find", "(System.Predicate<T>)", "", "Argument[this].Element", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>+Builder", False, "FindAll", "(System.Predicate<T>)", "", "Argument[this].Element", "Argument[0].Parameter[0]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>+Builder", False, "FindAll", "(System.Predicate<T>)", "", "Argument[this].Element", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>+Builder", False, "FindLast", "(System.Predicate<T>)", "", "Argument[this].Element", "Argument[0].Parameter[0]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>+Builder", False, "FindLast", "(System.Predicate<T>)", "", "Argument[this].Element", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>+Builder", False, "GetEnumerator", "()", "", "Argument[this].Element", "ReturnValue.Property[System.Collections.Immutable.ImmutableList`1+Enumerator.Current]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>+Builder", False, "GetRange", "(System.Int32,System.Int32)", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableList<T>+Builder", False, "InsertRange", "(System.Int32,System.Collections.Generic.IEnumerable<T>)", "", "Argument[1].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableQueue<T>", False, "GetEnumerator", "()", "", "Argument[this].Element", "ReturnValue.Property[System.Collections.Immutable.ImmutableQueue`1+Enumerator.Current]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedDictionary<TKey,TValue>", False, "Add", "(System.Collections.Generic.KeyValuePair<TKey,TValue>)", "", "Argument[0].Property[System.Collections.Generic.KeyValuePair`2.Key]", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Key]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedDictionary<TKey,TValue>", False, "Add", "(System.Collections.Generic.KeyValuePair<TKey,TValue>)", "", "Argument[0].Property[System.Collections.Generic.KeyValuePair`2.Value]", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Value]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedDictionary<TKey,TValue>", False, "Add", "(TKey,TValue)", "", "Argument[0]", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Key]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedDictionary<TKey,TValue>", False, "Add", "(TKey,TValue)", "", "Argument[1]", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Value]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedDictionary<TKey,TValue>", False, "AddRange", "(System.Collections.Generic.IEnumerable<System.Collections.Generic.KeyValuePair<TKey,TValue>>)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedDictionary<TKey,TValue>", False, "GetEnumerator", "()", "", "Argument[this].Element", "ReturnValue.Property[System.Collections.Immutable.ImmutableSortedDictionary`2+Enumerator.Current]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedDictionary<TKey,TValue>", False, "get_Item", "(TKey)", "", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Value]", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedDictionary<TKey,TValue>", False, "get_Keys", "()", "", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Key]", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedDictionary<TKey,TValue>", False, "get_Values", "()", "", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Value]", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedDictionary<TKey,TValue>+Builder", False, "Add", "(System.Collections.Generic.KeyValuePair<TKey,TValue>)", "", "Argument[0].Property[System.Collections.Generic.KeyValuePair`2.Key]", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Key]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedDictionary<TKey,TValue>+Builder", False, "Add", "(System.Collections.Generic.KeyValuePair<TKey,TValue>)", "", "Argument[0].Property[System.Collections.Generic.KeyValuePair`2.Value]", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Value]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedDictionary<TKey,TValue>+Builder", False, "AddRange", "(System.Collections.Generic.IEnumerable<System.Collections.Generic.KeyValuePair<TKey,TValue>>)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedDictionary<TKey,TValue>+Builder", False, "GetEnumerator", "()", "", "Argument[this].Element", "ReturnValue.Property[System.Collections.Immutable.ImmutableSortedDictionary`2+Enumerator.Current]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedDictionary<TKey,TValue>+Builder", False, "get_Keys", "()", "", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Key]", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedDictionary<TKey,TValue>+Builder", False, "get_Values", "()", "", "Argument[this].Element.Property[System.Collections.Generic.KeyValuePair`2.Value]", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedSet<T>", False, "Add", "(T)", "", "Argument[0]", "Argument[this].Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedSet<T>", False, "GetEnumerator", "()", "", "Argument[this].Element", "ReturnValue.Property[System.Collections.Immutable.ImmutableSortedSet`1+Enumerator.Current]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedSet<T>", False, "Reverse", "()", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedSet<T>", False, "get_Item", "(System.Int32)", "", "Argument[this].Element", "ReturnValue", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedSet<T>+Builder", False, "GetEnumerator", "()", "", "Argument[this].Element", "ReturnValue.Property[System.Collections.Immutable.ImmutableSortedSet`1+Enumerator.Current]", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableSortedSet<T>+Builder", False, "Reverse", "()", "", "Argument[this].Element", "ReturnValue.Element", "value", "manual"]
      - ["System.Collections.Immutable", "ImmutableStack<T>", False, "GetEnumerator", "()", "", "Argument[this].Element", "ReturnValue.Property[System.Collections.Immutable.ImmutableStack`1+Enumerator.Current]", "value", "manual"]
