Allow widget inspector's _Location.file to be null (flutter#81588)

Fixes flutter#81587

Author: tvolkert

packages/flutter/lib/src/widgets/widget_inspector.dart

@@ -1525,7 +1525,7 @@ mixin WidgetInspectorService {
     if (location == null || location.file == null) {
       return false;
     }
-    final String file = Uri.parse(location.file).path;
+    final String file = Uri.parse(location.file!).path;
 
     // By default check whether the creation location was within package:flutter.
     if (_pubRootDirectories == null) {
@@ -2122,11 +2122,13 @@ class _ElementLocationStatsTracker {
       final Map<String, List<int>> locationsJson = <String, List<int>>{};
       for (final _LocationCount entry in newLocations) {
         final _Location location = entry.location;
-        final List<int> jsonForFile = locationsJson.putIfAbsent(
-          location.file,
-          () => <int>[],
-        );
-        jsonForFile..add(entry.id)..add(location.line)..add(location.column);
+        if (location.file != null) {
+          final List<int> jsonForFile = locationsJson.putIfAbsent(
+            location.file!,
+            () => <int>[],
+          );
+          jsonForFile..add(entry.id)..add(location.line)..add(location.column);
+        }
       }
       json['newLocations'] = locationsJson;
     }
@@ -2844,7 +2846,7 @@ class _Location {
   });
 
   /// File path of the location.
-  final String file;
+  final String? file;
 
   /// 1-based line number.
   final int line;
@@ -2880,7 +2882,9 @@ class _Location {
     if (name != null) {
       parts.add(name!);
     }
-    parts.add(file);
+    if (file != null) {
+      parts.add(file!);
+    }
     parts..add('$line')..add('$column');
     return parts.join(':');
   }