languages/dart-sdk
languages/dart-sdk
1
0
Fork 0
mirror of https://github.com/dart-lang/sdk synced 2024-10-14 09:12:08 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add source information to the covariance checks inserted for strong mode

Browse source 
BUG=
R=dmitryas@google.com

Review-Url: https://codereview.chromium.org/2718363003 .
This commit is contained in:
Asger Feldthaus 2017-03-01 09:51:10 +01:00
parent 0c290ae456
commit af10678cb3
1 changed files with 6 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
pkg/kernel/lib/transformations/insert_covariance_checks.dart
View file

@ -377,7 +377,8 @@ class _ClassTransformer {
// function type parameters (in case the function is generic).
var targetType = cloneParameter.type;
cloneParameter.type = cloner.visitType(getSafeType(unsafeInputs));
return new AsExpression(new VariableGet(cloneParameter), targetType);
return new AsExpression(new VariableGet(cloneParameter), targetType)
..fileOffset = parameter.fileOffset;
}
// TODO: Insert checks for type parameter bounds.
@ -416,7 +417,8 @@ class _ClassTransformer {
Expression argument = new VariableGet(parameter);
if (unsafeTypes != null) {
var castType = substitute(field.type, ownSubstitution);
argument = new AsExpression(argument, castType);
argument = new AsExpression(argument, castType)
..fileOffset = field.fileOffset;
var inputType = substitute(getSafeType(unsafeTypes), ownSubstitution);
parameter.type = inputType;
}
@ -429,7 +431,8 @@ class _ClassTransformer {
var setter = new Procedure(
covariantCheckedName(field.name),
ProcedureKind.Setter,
new FunctionNode(body, positionalParameters: [parameter]));
new FunctionNode(body, positionalParameters: [parameter]))
..fileUri = field.fileUri;
host.addMember(setter);
if (field.enclosingClass == host) {