Add support for double literals

Change-Id: I08ea12bb0213272b192d063fd3699b2495912077
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/106140
Reviewed-by: Konstantin Shcheglov <[email protected]>
Reviewed-by: Paul Berry <[email protected]>
Commit-Queue: Brian Wilkerson <[email protected]>

Author: bwilkerson

pkg/nnbd_migration/lib/src/graph_builder.dart

@@ -278,7 +278,7 @@ class GraphBuilder extends GeneralizingAstVisitor<DecoratedType> {
 
   @override
   DecoratedType visitDoubleLiteral(DoubleLiteral node) {
-    throw new UnimplementedError('TODO(brianwilkerson)');
+    return DecoratedType(node.staticType, _graph.never);
   }
 
   @override

pkg/nnbd_migration/test/migration_visitor_test.dart

@@ -447,6 +447,15 @@ int f(bool b, int i) {
     assertConditional(nullable_conditional, nullable_i, always);
   }
 
+  test_doubleLiteral() async {
+    await analyze('''
+double f() {
+  return 1.0;
+}
+''');
+    assertNoUpstreamNullability(decoratedTypeAnnotation('double').node);
+  }
+
   test_functionDeclaration_expression_body() async {
     await analyze('''
 int/*1*/ f(int/*2*/ i) => i/*3*/;
@@ -833,7 +842,7 @@ void f(int y) {
         hard: true);
   }
 
-  test_intLiteral() async {
+  test_integerLiteral() async {
     await analyze('''
 int f() {
   return 0;