blob: 7f68e007a82a083a7b646b84f7e0f1e9952c3108 [file] [log] [blame]
// Copyright (c) 2019, 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.
class Covariant<out T> {}
class Contravariant<in T> {}
class Invariant<inout T> {}
void covariantListInfer<T>(Covariant<List<T>> x) {}
void contravariantListInfer<T>(Contravariant<List<T>> x) {}
void invariantListInfer<T>(Invariant<List<T>> x) {}
main() {
var cov = new Covariant();
var contra = new Contravariant();
var inv = new Invariant();