mirror of
https://github.com/dart-lang/sdk
synced 2024-09-19 14:32:49 +00:00
48608ce9bc
Change-Id: I8e21f82dc241a63f78fb1f6a25669b1aa633788c Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/152080 Commit-Queue: Bob Nystrom <rnystrom@google.com> Auto-Submit: Bob Nystrom <rnystrom@google.com> Reviewed-by: Leaf Petersen <leafp@google.com>
55 lines
1.8 KiB
Dart
55 lines
1.8 KiB
Dart
// 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.
|
|
|
|
// Tests local inference for the `inout` variance modifier.
|
|
|
|
// SharedOptions=--enable-experiment=variance
|
|
|
|
class Covariant<out T> {}
|
|
class Contravariant<in T> {}
|
|
class Invariant<inout T> {}
|
|
|
|
class Exactly<inout T> {}
|
|
|
|
class Upper {}
|
|
class Middle extends Upper {}
|
|
class Lower extends Middle {}
|
|
|
|
Exactly<T> inferInvInv<T>(Invariant<T> x, Invariant<T> y) => new Exactly<T>();
|
|
Exactly<T> inferInvCov<T>(Invariant<T> x, Covariant<T> y) => new Exactly<T>();
|
|
Exactly<T> inferInvContra<T>(Invariant<T> x, Contravariant<T> y) => new Exactly<T>();
|
|
|
|
main() {
|
|
Exactly<Middle> middle;
|
|
|
|
// Middle <: T <: Middle
|
|
// Choose Middle
|
|
var inferredMiddle = inferInvInv(Invariant<Middle>(), Invariant<Middle>());
|
|
middle = inferredMiddle;
|
|
|
|
// Lower <: T
|
|
// Middle <: T <: Middle
|
|
// Choose Middle since this merges to Middle <: T <: Middle
|
|
var inferredMiddle2 = inferInvCov(Invariant<Middle>(), Covariant<Lower>());
|
|
middle = inferredMiddle2;
|
|
|
|
// Middle <: T
|
|
// Middle <: T <: Middle
|
|
// Choose Middle since this merges to Middle <: T <: Middle
|
|
var inferredMiddle3 = inferInvCov(Invariant<Middle>(), Covariant<Middle>());
|
|
middle = inferredMiddle3;
|
|
|
|
// T <: Upper
|
|
// Middle <: T <: Middle
|
|
// Choose Middle since this merges to Middle <: T <: Middle
|
|
var inferredMiddle4 = inferInvContra(Invariant<Middle>(), Contravariant<Upper>());
|
|
middle = inferredMiddle4;
|
|
|
|
// T <: Middle
|
|
// Middle <: T <: Middle
|
|
// Choose Middle since this merges to Middle <: T <: Middle
|
|
var inferredMiddle5 = inferInvContra(Invariant<Middle>(), Contravariant<Middle>());
|
|
middle = inferredMiddle5;
|
|
}
|