blob: 3566ad66be4a2681fd53a6dfe1c83d6f88ad91cc [file] [log] [blame]
// Copyright (c) 2020, 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.
// Requirements=nnbd-weak
// Verifies that a member declared in a null-safe class which overrides
// a legacy member with the same name gets a null-safe signature instead of
// inheriting the legacy signature from the super-interface (concretely,
// it is not the signature from `A<int*>`).
import 'legacy_resolves_conflict_1_lib2.dart';
void main() {
// All classes named `De..` override `m`. The ones whose name ends in `q`
// do not admit invoking `isEven`; the remaining ones do not admit passing
// null as the parameter to `m`.
De0().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De0q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De1().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De1q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De2().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De2q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De3().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De3q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De4().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De4q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De5().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De5q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De6().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De6q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De7().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De7q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De8().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De8q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De9().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De9q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De10().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De10q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De11().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De11q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De12().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De12q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De13().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De13q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De14().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De14q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De15().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De15q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De16().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De16q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De17().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De17q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De18().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De18q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De19().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De19q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De20().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De20q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De21().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De21q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De22().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De22q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De23().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De23q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De24().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De24q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De25().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De25q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De26().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De26q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De27().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De27q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De28().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De28q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De29().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De29q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De30().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De30q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De31().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De31q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De32().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De32q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De33().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De33q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De34().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De34q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De35().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De35q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De36().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De36q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De37().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De37q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De38().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De38q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De39().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De39q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De40().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De40q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De41().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De41q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De42().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De42q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De43().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De43q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De44().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De44q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De45().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De45q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De46().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De46q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De47().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De47q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De48().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De48q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De49().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De49q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De50().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De50q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De51().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De51q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De52().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De52q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De53().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De53q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De54().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De54q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De55().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De55q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De56().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De56q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De57().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De57q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De58().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De58q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De59().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De59q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De60().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De60q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De61().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De61q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De62().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De62q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De63().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
De63q().m(null).isEven;
// ^
// [analyzer] unspecified
// [cfe] unspecified
}