# Copyright (c) 2022, the Dart project authors.  Please see the AUTHORS file
# for details. All rights reserved. Use of this source code is governed by a
# BSD-style license that can be found in the LICENSE file.

sources: |
  void hasList() {
    List<String> x = ["a", "b", "c"];
    int xCombinedLength = x.fold<int>(
        0, (previousValue, element) => previousValue + element.length);
    print("xCombinedLength = $xCombinedLength");
  }
  extension Foo on String {
    int getFortyTwo() {
      return 42;
    }
  }
definitions: ["x", "y"]
# List<String>, int
definition_types: ["dart:core", "List", "1", "1", "dart:core", "String", "1", "0", "dart:core", "int", "1", "0"]
type_definitions: []
type_bounds: []
type_defaults: []
method: "hasList"
# Because x has a type (List<String>) x.fold knows that element is a String.
expression: |
  x.fold<int>(0, (previousValue, element) => previousValue + element.length)