blob: fec68f19063140aafa3540b125ae749a6f98d143 [file] [log] [blame]
// Copyright (c) 2017, 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.
library test;
import 'dart:async';
class D<T> {}
class E<T> extends D<T> {}
class B<T> {
D<T> x;
class C<U> extends B<Future<U>> {
E<Future<U>> get x => null;
void set x(Object x) {}
void g() {
var /*@type=D<Future<C::U>>*/ y = super. /*@target=B::x*/ x;
main() {}