anchor.diff:  class _LocalVariableTypeProvider implements LocalVariableTypeProvider {
     final FlowAnalysisHelper _manager;
   
  +  final ElementTypeProvider _elementTypeProvider = const ElementTypeProvider();
  +
     _LocalVariableTypeProvider(this._manager);
   
     @override
  
positive.code:       var promotedType = _manager.flow?.variableRead(node, variable);
        if (promotedType != null) return promotedType;
      }
      return variable.type;
    }
  }
  
negative.code: import 'package:analyzer/dart/element/type.dart';
  import 'package:analyzer/dart/element/type_system.dart';
  import 'package:analyzer/src/dart/element/type.dart';
  import 'package:analyzer/src/generated/element_type_provider.dart';
  import 'package:analyzer/src/generated/type_system.dart' show TypeSystemImpl;
  import 'package:analyzer/src/generated/variable_type_provider.dart';
  
  