Elements. Migrate NullableDereferenceVerifier.

Well, "migrate", ignore `flow`.
We will not able to change it until we have the Element2 based implementation.

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

Author: scheglov

pkg/analyzer/analyzer_use_new_elements.txt

@@ -107,7 +107,6 @@ lib/src/error/duplicate_definition_verifier.dart
 lib/src/error/imports_verifier.dart
 lib/src/error/inheritance_override.dart
 lib/src/error/literal_element_verifier.dart
-lib/src/error/nullable_dereference_verifier.dart
 lib/src/error/override_verifier.dart
 lib/src/error/required_parameters_verifier.dart
 lib/src/error/unused_local_elements_verifier.dart

pkg/linter/lib/src/extensions.dart

@@ -575,6 +575,13 @@ extension InhertanceManager3Extension on InheritanceManager3 {
   }
 }
 
+extension InterfaceElement2Extension on InterfaceElement2 {
+  /// Whether this element has the exact [name] and defined in the file with
+  /// the given [uri].
+  bool isExactly(String name, Uri uri) =>
+      name3 == name && enclosingElement2.firstFragment.source.uri == uri;
+}
+
 extension InterfaceTypeExtension on InterfaceType {
   /// Returns the collection of all interfaces that this type implements,
   /// including itself.

pkg/linter/lib/src/rules/analyzer_use_new_elements.dart

@@ -10,6 +10,7 @@ import 'package:analyzer/file_system/file_system.dart';
 import 'package:analyzer/src/dart/element/type_visitor.dart'; // ignore: implementation_imports
 
 import '../analyzer.dart';
+import '../extensions.dart';
 
 const _desc = r'Use new element model in opted-in files.';
 
@@ -54,6 +55,15 @@ bool _isOldModelElement(Element2? element) {
 }
 
 bool _isOldModelType(DartType? type) {
+  if (type is InterfaceType) {
+    if (type.element3.isExactly(
+        'FlowAnalysis',
+        Uri.parse(
+            'package:_fe_analyzer_shared/src/flow_analysis/flow_analysis.dart'))) {
+      return false;
+    }
+  }
+
   var visitor = _TypeVisitor();
   type?.accept(visitor);
   return visitor.result;