Chromium Code Reviews

Side by Side Diff: pkg/analyzer/lib/src/error/codes.dart

Issue 2456803004: fixes #27586, prefer context type in generic inference (Closed)
Patch Set: fix Created 3 years, 10 months ago
Use n/p to move between diff chunks; N/P to move between comments.
Jump to:
View unified diff |
OLDNEW
1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file
2 // for details. All rights reserved. Use of this source code is governed by a 2 // for details. All rights reserved. Use of this source code is governed by a
3 // BSD-style license that can be found in the LICENSE file. 3 // BSD-style license that can be found in the LICENSE file.
4 4
5 library analyzer.src.error.codes; 5 library analyzer.src.error.codes;
6 6
7 import 'package:analyzer/error/error.dart'; 7 import 'package:analyzer/error/error.dart';
8 8
9 export 'package:analyzer/src/analysis_options/error/option_codes.dart'; 9 export 'package:analyzer/src/analysis_options/error/option_codes.dart';
10 export 'package:analyzer/src/dart/error/hint_codes.dart'; 10 export 'package:analyzer/src/dart/error/hint_codes.dart';
(...skipping 4739 matching lines...)
4750 4750
4751 static const StrongModeCode INVALID_PARAMETER_DECLARATION = 4751 static const StrongModeCode INVALID_PARAMETER_DECLARATION =
4752 const StrongModeCode( 4752 const StrongModeCode(
4753 ErrorType.COMPILE_TIME_ERROR, 4753 ErrorType.COMPILE_TIME_ERROR,
4754 'INVALID_PARAMETER_DECLARATION', 4754 'INVALID_PARAMETER_DECLARATION',
4755 "Type check failed: '{0}' isn't of type '{1}'."); 4755 "Type check failed: '{0}' isn't of type '{1}'.");
4756 4756
4757 static const StrongModeCode COULD_NOT_INFER = const StrongModeCode( 4757 static const StrongModeCode COULD_NOT_INFER = const StrongModeCode(
4758 ErrorType.COMPILE_TIME_ERROR, 4758 ErrorType.COMPILE_TIME_ERROR,
4759 'COULD_NOT_INFER', 4759 'COULD_NOT_INFER',
4760 "Couldn't infer type parameter '{0}'; '{1}' must be of type '{2}'."); 4760 "Couldn't infer type parameter '{0}'.{1}");
4761 4761
4762 static const StrongModeCode INFERRED_TYPE = const StrongModeCode( 4762 static const StrongModeCode INFERRED_TYPE = const StrongModeCode(
4763 ErrorType.HINT, 'INFERRED_TYPE', _inferredTypeMessage); 4763 ErrorType.HINT, 'INFERRED_TYPE', _inferredTypeMessage);
4764 4764
4765 static const StrongModeCode INFERRED_TYPE_LITERAL = const StrongModeCode( 4765 static const StrongModeCode INFERRED_TYPE_LITERAL = const StrongModeCode(
4766 ErrorType.HINT, 'INFERRED_TYPE_LITERAL', _inferredTypeMessage); 4766 ErrorType.HINT, 'INFERRED_TYPE_LITERAL', _inferredTypeMessage);
4767 4767
4768 static const StrongModeCode INFERRED_TYPE_ALLOCATION = const StrongModeCode( 4768 static const StrongModeCode INFERRED_TYPE_ALLOCATION = const StrongModeCode(
4769 ErrorType.HINT, 'INFERRED_TYPE_ALLOCATION', _inferredTypeMessage); 4769 ErrorType.HINT, 'INFERRED_TYPE_ALLOCATION', _inferredTypeMessage);
4770 4770
(...skipping 172 matching lines...)
4943 * created from the optional [correction] template. 4943 * created from the optional [correction] template.
4944 */ 4944 */
4945 const StrongModeCode(ErrorType type, String name, String message, 4945 const StrongModeCode(ErrorType type, String name, String message,
4946 [String correction]) 4946 [String correction])
4947 : type = type, 4947 : type = type,
4948 super('STRONG_MODE_$name', message, correction); 4948 super('STRONG_MODE_$name', message, correction);
4949 4949
4950 @override 4950 @override
4951 ErrorSeverity get errorSeverity => type.severity; 4951 ErrorSeverity get errorSeverity => type.severity;
4952 } 4952 }
OLDNEW
« no previous file with comments | « no previous file | pkg/analyzer/lib/src/generated/resolver.dart » ('j') | pkg/analyzer/lib/src/generated/resolver.dart » ('J')

Powered by Google App Engine