Allow quickfixes on secondary type errors
commit8d0643f6b2ab478b051e13fa28c38539bd59d5d3
authorWilfred Hughes <wilfred@fb.com>
Wed, 23 Feb 2022 18:15:38 +0000 (23 10:15 -0800)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Wed, 23 Feb 2022 18:23:35 +0000 (23 10:23 -0800)
treecb04768729ca9b2d686e381f593dc66a9926988c
parent6bfe09501a3a7daaf92eaabf8149a128f342eaef
Allow quickfixes on secondary type errors

Summary:
It's common to want to offer quickfixes on errors that are treated as secondary. Allow them to have quickfixes and pass them through.

This should help unblock https://github.com/facebook/hhvm/pull/9007

Reviewed By: hgoldstein

Differential Revision: D34192606

fbshipit-source-id: c0de365ff986ef5f5ade0274f36f78387b707a34
hphp/hack/src/errors/typing_error.ml