blob: 18eed0e3ae63fdf6f045f189bb5229fa18a6bb65 [file] [log] [blame]
class Contravariant<in T> {}
class Covariant<out T> {}
class Invariant<inout T> {}
main() {}
void contravariantListInfer<T>(Contravariant<List<T>> x) {}
void covariantListInfer<T>(Covariant<List<T>> x) {}
void invariantListInfer<T>(Invariant<List<T>> x) {}