pkg/front_end/test/patching/data/opt_in_patch/patch.dart - sdk - Git at Google

 // 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.

 /*cfe:nnbd.error: message=The language version override has to be the same in the library and its patch(es).*/
 // @dart=2.8

 // ignore: import_internal_library
 import 'dart:_internal';

 @patch
 /*cfe:nnbd.member: method:patch*/
 int method(int i) => i!;
	// 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.

	/cfe:nnbd.error: message=The language version override has to be the same in the library and its patch(es)./
	// @dart=2.8

	// ignore: import_internal_library
	import 'dart:_internal';

	@patch
	/cfe:nnbd.member: method:patch/
	int method(int i) => i!;