anchor.diff:          newType = typeProvider.dynamicType;
         }
   
  -      setFieldType(field, newType);
  +      field.type = newType;
       }
   
       if (field.setter != null) {
  
positive.code: import 'package:analyzer/src/summary/format.dart';
  import 'package:analyzer/src/summary/idl.dart';
  import 'package:analyzer/src/summary2/lazy_ast.dart';
  
  /**
   * Sets the type of the field. The types in implicit accessors are updated
   * implicitly, and the types of explicit accessors should be updated separately.
   */
  void setFieldType(VariableElement field, DartType newType) {
    (field as VariableElementImpl).type = newType;
  }
  
  /**
   * A function that returns `true` if the given [element] passes the filter.
   */
  typedef bool VariableFilter(VariableElement element);
  
  /**
   * An object used to infer the type of instance fields and the return types of
  
negative.code:         parameter.inheritsCovariant = typeResult.isCovariant;
        }
      }
      (element.variable as FieldElementImpl).type = typeResult.type;
    }
  
    /**
  