[type-feedback-vector] Delete unused DiffersFrom().

[type-feedback-vector] Delete unused DiffersFrom().

BUG=

Review-Url: https://codereview.chromium.org/2686493002
Cr-Commit-Position: refs/heads/master@{#42991}
Committed: https://chromium.googlesource.com/v8/v8/+/0613128c14937bf5edd43661ee70a8872b335360

[Franzi, 2017-02-07 10:48:08]

The CQ bit was checked by franzih@chromium.org to run a CQ dry run

[commit-bot: I haz the power, 2017-02-07 10:48:10]

Dry run: CQ is trying da patch. Follow status at
 
https://chromium-cq-status.appspot.com/v2/patch-status/codereview.chromium.or...

[commit-bot: I haz the power, 2017-02-07 11:15:14]

The CQ bit was unchecked by commit-bot@chromium.org

[commit-bot: I haz the power, 2017-02-07 11:15:14]

Dry run: This issue passed the CQ dry run.

[Franzi, 2017-02-07 11:22:37]

Description was changed from

==========
[type-feedback-vector] Delete unused function.

BUG=
==========

to

==========
[type-feedback-vector] Delete unused DiffersFrom().

BUG=
==========

[Franzi, 2017-02-07 11:22:37]

franzih@chromium.org changed reviewers:
+ mvstanton@chromium.org

[Franzi, 2017-02-07 11:23:06]

ptal. Thanks

[mvstanton, 2017-02-07 12:06:29]

right on, lot of good changes in this space.
LGTM.

[Franzi, 2017-02-07 12:26:38]

The CQ bit was checked by franzih@chromium.org

[commit-bot: I haz the power, 2017-02-07 12:26:45]

CQ is trying da patch. Follow status at
 
https://chromium-cq-status.appspot.com/v2/patch-status/codereview.chromium.or...

[commit-bot: I haz the power, 2017-02-07 12:27:59]

CQ is committing da patch.

Bot data: {"patchset_id": 1, "attempt_start_ts": 1486470398357780, "parent_rev":
"8fcacb78fa61d5741d89809b5245573820646870", "commit_rev":
"0613128c14937bf5edd43661ee70a8872b335360"}

[commit-bot: I haz the power, 2017-02-07 12:28:03]

Description was changed from

==========
[type-feedback-vector] Delete unused DiffersFrom().

BUG=
==========

to

==========
[type-feedback-vector] Delete unused DiffersFrom().

BUG=

Review-Url: https://codereview.chromium.org/2686493002
Cr-Commit-Position: refs/heads/master@{#42991}
Committed:
https://chromium.googlesource.com/v8/v8/+/0613128c14937bf5edd43661ee70a8872b3...
==========

[commit-bot: I haz the power, 2017-02-07 12:28:04]

Committed patchset #1 (id:1) as
https://chromium.googlesource.com/v8/v8/+/0613128c14937bf5edd43661ee70a8872b3...