anchor.diff:      return false;
     }
   }
  -
  -/// The synthetic element for [UnknownInferredType].
  -class UnknownInferredTypeElement extends ElementImpl
  -    implements TypeDefiningElement {
  -  static final UnknownInferredTypeElement instance =
  -      UnknownInferredTypeElement._();
  -
  -  UnknownInferredTypeElement._() : super(Keyword.DYNAMIC.lexeme, -1) {
  -    setModifier(Modifier.SYNTHETIC, true);
  -  }
  -
  -  @override
  -  ElementKind get kind => ElementKind.DYNAMIC;
  -
  -  @override
  -  UnknownInferredType get type => UnknownInferredType.instance;
  -
  -  @override
  -  T accept<T>(ElementVisitor visitor) => null;
  -}
  
positive.code: class UnknownInferredType extends TypeImpl {
    static final UnknownInferredType instance = UnknownInferredType._();
  
    UnknownInferredType._() : super(UnknownInferredTypeElement.instance);
  
    @override
    int get hashCode => 1;
  
negative.code: // BSD-style license that can be found in the LICENSE file.
  
  import 'package:analyzer/dart/ast/token.dart' show Keyword;
  import 'package:analyzer/dart/element/nullability_suffix.dart';
  import 'package:analyzer/dart/element/type.dart';
  import 'package:analyzer/dart/element/type_provider.dart';
  import 'package:analyzer/src/dart/element/display_string_builder.dart';
  import 'package:analyzer/src/dart/element/type.dart';
  
  /// A type that is being inferred but is not currently known.
  