blob: 75b349994649cee01e3a5462c68819af37e55f9f [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;
class C {
var /*@topType=int*/ x = 0;
class D extends C {
void g() {
var /*@type=int*/ y = super. /*@target=C::x*/ x;
main() {}