At least, diff-coverage does not show any warnings.