Printing a useful error message if a version field is a num

sdk/lib/_internal/pub_generated/lib/src/pubspec.dart

Index: sdk/lib/_internal/pub_generated/lib/src/pubspec.dart
diff --git a/sdk/lib/_internal/pub_generated/lib/src/pubspec.dart b/sdk/lib/_internal/pub_generated/lib/src/pubspec.dart
index b8b28ed154b137d4d85339a71536410cea382528..d3dd3b82657ccdb0766c3c17c85521a460caa2eb 100644
--- a/sdk/lib/_internal/pub_generated/lib/src/pubspec.dart
+++ b/sdk/lib/_internal/pub_generated/lib/src/pubspec.dart
@@ -37,6 +37,14 @@ class Pubspec {
       return _version;
     }
     var span = fields.nodes['version'].span;
+    if (version is num) {
+      var fixed = '$version.0';
+      if (version is int) {
+        fixed = '$fixed.0';
+      }
+      _error('"version" field must have three numeric components: major, '
+          'minor, and patch. Instead of "$version", consider "$fixed".', span);
+    }
     if (version is! String) {
       _error('"version" field must be a string.', span);
     }