anchor.diff:        Element methodElement = elementAnalysis.elements[node];
         if (methodElement is MethodElement) {
           ReturnTypeIdentifier typeIdent = new ReturnTypeIdentifier(methodElement);
  -        visitNode(typeAnnotator.annotateTypeIdentifier(typeIdent, sourceElement.library, false, node.offset), followedBy: space);
  +        visitNode(typeAnnotator.annotateTypeIdentifier(typeIdent, sourceElement.library, canBeVoid: true, offset: node.offset), followedBy: space);
         } else {
           engine.errors.addError(new EngineError("A MethodDeclaration was not mapped to a MethodElement", sourceElement.source, node.offset, node.length), false);
         }
  
positive.code:   
    TypeAnnotator(TypeMap this.typemap, ElementAnalysis this.analysis);
    
    TypeName annotateIdentifier(Identifier identifier, LibraryElement library, [bool cannotBeVoid = false, int offset = 0]){
      TypeIdentifier typeIdent = new ExpressionTypeIdentifier(identifier);
      return annotateTypeIdentifier(typeIdent, library, cannotBeVoid, offset);
    }
    
    TypeName annotateTypeIdentifier(TypeIdentifier typeIdent, LibraryElement library, [bool cannotBeVoid = false, int offset = 0]){
      TypeVariable typeVariable = typemap[typeIdent];
      if (typeVariable == null)
        return new TypeName(new SimpleIdentifier(new KeywordToken(Keyword.DYNAMIC, offset)), null);
      
      AbstractType type = typeVariable.getLeastUpperBound();
      if (type is VoidType && cannotBeVoid)
        return AbstractTypeToTypeName(new DynamicType(), library, offset);
      else
        return AbstractTypeToTypeName(type, library, offset);
  
negative.code:         
          String expectedFilePath = actualFilePath.replaceFirst(engine.options.actualRootPath, engine.options.expectedRootPath);
          
          this.res.add(compareTypes(expectedFilePath, actualFilePath, engine.options.benchmarkRootPath, sourceElement, false));
          this.res.add(compareTypes(actualFilePath, expectedFilePath, engine.options.benchmarkRootPath, sourceElement, true));
        }
  