# Copyright (c) 2018, 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: |
  class D<T> {
    Y id<Y>(Y x) => x;
    m(List<T> l) {
      assert(l is List<T>);
    }
  }
definitions: ["s"]
position: "#D"
expression: |
  m(id(s = []))