blob: 51862bd7b33b169ad64d5c8975ab3e4168b76457 [file] [log] [blame]
// Copyright (c) 2018, 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
main() {
// We trust the annotation.
/*member: noThrows:no-throw*/
'dart2js:noInline') // Required for the @pragma('dart2js:noThrows') annotation.
noThrows() => throw '';
// Check that the @pragma('dart2js:noInline') annotation has no impact on its own.
/*member: noInline:*/
noInline() {}
// TODO(johnniwinther): Should we infer this?
/*member: throws:*/
throws() => 0;