anchor.diff:      if (method is ExecutableElement) {
         if (method.kind == ElementKind.METHOD &&
             !method.isStatic &&
  -          method.hasImplicitReturnType &&
  -          flagTopLevel) {
  +          method.hasImplicitReturnType) {
           _codeChecker._recordMessage(node,
               StrongModeCode.TOP_LEVEL_INSTANCE_METHOD, [_name, method.name]);
         }
         if (node.typeArguments == null && method.typeParameters.isNotEmpty) {
           if (method.kind == ElementKind.METHOD &&
               !method.isStatic &&
  -            _anyParameterHasImplicitType(method) &&
  -            flagTopLevel) {
  +            _anyParameterHasImplicitType(method)) {
             _codeChecker._recordMessage(node,
                 StrongModeCode.TOP_LEVEL_INSTANCE_METHOD, [_name, method.name]);
           }
  
positive.code:       if (e is PropertyAccessorElement) {
          if (e.isStatic) {
            validateHasType(n, e);
          } else if (e.hasImplicitReturnType && flagTopLevel) {
            _codeChecker._recordMessage(
                n, StrongModeCode.TOP_LEVEL_INSTANCE_GETTER, [_name, e.name]);
          }
  
negative.code:   final CodeChecker _codeChecker;
    final String _name;
  
    _TopLevelInitializerValidator(this._codeChecker, this._name);
  
    void validateHasType(AstNode n, PropertyAccessorElement e) {
      if (e.hasImplicitReturnType) {
  