anchor.diff:  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';
   
  
positive.code: class _LocalVariableTypeProvider implements LocalVariableTypeProvider {
    final FlowAnalysisHelper _manager;
  
    _LocalVariableTypeProvider(this._manager);
  
    @override
  
negative.code:       var promotedType = _manager.flow?.variableRead(node, variable);
        if (promotedType != null) return promotedType;
      }
      return _elementTypeProvider.getVariableType(variable);
    }
  }
  