blob: cc1424da0ecb556431a6b310bd4e29a76015bc17 [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.
// @dart = 2.7
// Regression test for dart2js inference. Class9.field9b should be known to be
// potentially `null`.
import 'package:expect/expect.dart';
class Class9 {
var field9a;
var field9b;
Class9() : field9a = 42 {
field9b = field9a;
}
}
class SubClass9a extends Class9 {
var field9b;
SubClass9a() : field9b = 42;
get access => super.field9b;
}
class SubClass9b extends Class9 {}
subclassField5() {
new Class9();
new SubClass9b();
return new SubClass9a().access;
}
main() {
Expect.isTrue(subclassField5() == null);
}