blob: 8a35ef72097bfcd393c4473a4de427da09864d19 [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.
*/
/**
* @assertion It is an error if the body of a method, function, getter, or
* function expression with a potentially non-nullable return type may complete
* normally.
*
* @description It is an error if the body of a method, function, getter, or
* function expression with a potentially non-nullable return type may complete
* normally. Test function type
* @author sgrekhov@unipro.ru
* @issue 40396
* @issue 40948
*/
typedef void Foo();
class C {
static Foo sTest() {}
// ^^^^^
// [analyzer] unspecified
// [cfe] unspecified
Foo mTest() {}
// ^^^^^
// [analyzer] unspecified
// [cfe] unspecified
Foo get gTest {}
// ^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}
Foo test() {}
// ^^^^
// [analyzer] unspecified
// [cfe] unspecified
main() {
C.sTest();
C c = new C();
c.mTest();
c.gTest;
test();
}