Implement type inference for asserts in constructor initializers.

pkg/front_end/lib/src/fasta/kernel/body_builder.dart

Index: pkg/front_end/lib/src/fasta/kernel/body_builder.dart
diff --git a/pkg/front_end/lib/src/fasta/kernel/body_builder.dart b/pkg/front_end/lib/src/fasta/kernel/body_builder.dart
index 97483bd4a289d0e23fc01def48e5b4d871a33ef9..3b300a18aff017cebb6192c3942c3f658345e0ef 100644
--- a/pkg/front_end/lib/src/fasta/kernel/body_builder.dart
+++ b/pkg/front_end/lib/src/fasta/kernel/body_builder.dart
@@ -2763,14 +2763,15 @@ class BodyBuilder extends ScopeListener<JumpTarget> implements BuilderHelper {
     // So we produce an initializer like this:
     //
     //    var #t0 = (() { statement; }) ()
-    return new LocalInitializer(new VariableDeclaration.forValue(
-        buildMethodInvocation(
+    return new KernelAssertInitializer(
+        new VariableDeclaration.forValue(buildMethodInvocation(
             new FunctionExpression(new FunctionNode(statement)),
             callName,
             new Arguments.empty(),
             statement.fileOffset,
             isConstantExpression: true,
-            isImplicitCall: true)));
+            isImplicitCall: true)),
+        statement);
   }
 
   @override