Handle use of constant constructors with default values.

pkg/compiler/lib/src/serialization/modelz.dart

 // Copyright (c) 2015, 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.
 
 /// Implementation of the element model used for deserialiation.
 ///
 /// These classes are created by [ElementDeserializer] triggered by the
 /// [Deserializer].
 
 library dart2js.serialization.modelz;
@@ skipping 1090 matching lines @@
     return _constantConstructor;
   }
 
   @override
   AsyncMarker get asyncMarker => AsyncMarker.SYNC;
 
   @override
   ConstructorElement get definingConstructor => null;
 
   @override
+  bool get hasEffectiveTarget => true;
+
+  @override
   ConstructorElement get effectiveTarget {
     if (_effectiveTarget == null) {
       _effectiveTarget =
           _decoder.getElement(Key.EFFECTIVE_TARGET, isOptional: true);
       if (_effectiveTarget == null) {
         _effectiveTarget = this;
       }
     }
     return _effectiveTarget;
   }
@@ skipping 128 matching lines @@
   @override
   accept(ElementVisitor visitor, arg) {
     return visitor.visitConstructorElement(this, arg);
   }
 
   @override
   AsyncMarker get asyncMarker => AsyncMarker.SYNC;
 
   @override
   InterfaceType computeEffectiveTargetType(InterfaceType newType) {
-    return enclosingClass.thisType;
+    return enclosingClass.thisType.substByContext(newType);
   }
 
   @override
   DartType computeType(Resolution resolution) => type;
 
   @override
   bool get isConst => false;
 
   @override
   ConstantConstructor get constantConstructor => null;
 
   @override
+  bool get hasEffectiveTarget => true;
+
+  @override
   ConstructorElement get effectiveTarget => this;
 
   @override
   Element get enclosingElement => enclosingClass;
 
   @override
   FunctionSignature get functionSignature {
     // TODO(johnniwinther): Ensure that the function signature (and with it the
     // function type) substitutes type variables correctly.
     return definingConstructor.functionSignature;
@@ skipping 116 matching lines @@
     }
   }
 
   @override
   bool get isConst {
     _ensureConstant();
     return _isConst;
   }
 
   @override
+  bool get hasConstant => true;
+
+  @override
   ConstantExpression get constant {
     _ensureConstant();
     return _constant;
   }
 
   @override
   Expression get initializer => _unsupported('initializer');
 }
 
 class TopLevelFieldElementZ extends FieldElementZ with LibraryMemberMixin {
@@ skipping 427 matching lines @@
 
   ParameterElementZ(ObjectDecoder decoder) : super(decoder);
 
   @override
   bool get isFinal => _decoder.getBool(Key.IS_FINAL);
 
   @override
   bool get isConst => false;
 
   @override
+  bool get hasConstant => true;
+
+  @override
   ConstantExpression get constant {
     if (isOptional) {
       if (_constant == null) {
         _constant = _decoder.getConstant(Key.CONSTANT);
       }
       return _constant;
     }
     return null;
   }
 
@@ skipping 108 matching lines @@
   @override
   bool get isConst {
     if (_isConst == null) {
       _constant = _decoder.getConstant(Key.CONSTANT, isOptional: true);
       _isConst = _constant != null;
     }
     return _isConst;
   }
 
   @override
+  bool get hasConstant => true;
+
+  @override
   ConstantExpression get constant {
     if (isConst) {
       return _constant;
     }
     return null;
   }
 
   @override
   Expression get initializer => _unsupported('initializer');
 }
@@ skipping 128 matching lines @@
   }
 
   @override
   ElementKind get kind => ElementKind.PREFIX;
 
   @override
   Element lookupLocalMember(String memberName) {
     return _unsupported('lookupLocalMember');
   }
 }