blob: 000a126cf6f843ca0a67ce75d3af6e5b5e00b090 [file] [log] [blame]
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() { }