Infer types of double literals.

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

Index: pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.dart
diff --git a/pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.dart b/pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.dart
index c61fe0bb5a2db33dab7c98bd626c7711a8b17f38..6f57f7d708a8a63a349517cdfe465a218a761e68 100644
--- a/pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.dart
+++ b/pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.dart
@@ -35,6 +35,17 @@ class KernelBlock extends Block implements KernelStatement {
   }
 }
 
+/// Concrete shadow object representing a double literal in kernel form.
+class KernelDoubleLiteral extends DoubleLiteral implements KernelExpression {
+  KernelDoubleLiteral(double value) : super(value);
+
+  @override
+  DartType _inferExpression(
+      KernelTypeInferrer inferrer, DartType typeContext, bool typeNeeded) {
+    return inferrer.inferDoubleLiteral(typeContext, typeNeeded);
+  }
+}
+
 /// Common base class for shadow objects representing expressions in kernel
 /// form.
 abstract class KernelExpression implements Expression {