disable diamond trait inclusion relaxed checks
commit3dd96c3912d971bb8622dc96d8c05100e5cbebed
authorFrancesco Zappa Nardelli <fzn@fb.com>
Thu, 24 Feb 2022 19:59:34 +0000 (24 11:59 -0800)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Thu, 24 Feb 2022 19:59:34 +0000 (24 11:59 -0800)
treeb8ded6fe01bc8f1c44d3a59913508445fad8b6c0
parenta3f11ae707cacca01ca0c082bedca63172bcce9e
disable diamond trait inclusion relaxed checks

Summary: This diff makes Hack ignore the `<<__EnableDiamondTraitInclusion>>` attribute, disabling the diamond trait inclusion relaxed checks.

Reviewed By: madgen

Differential Revision: D34449474

fbshipit-source-id: cb6e9c9b13a6d42f3801919dd584b15c1433995b
hphp/hack/src/typing/nast_check/trait_reuse_check.ml
hphp/hack/test/typecheck/trait_reuse/trait_diamond_1.good.php.exp
hphp/hack/test/typecheck/trait_reuse/trait_diamond_final_1.good.php.exp
hphp/hack/test/typecheck/trait_reuse/trait_diamond_final_1.good.php.legacy_decl.exp [new file with mode: 0644]
hphp/hack/test/typecheck/trait_reuse/trait_diamond_no_attr_2.bad.php.exp
hphp/hack/test/typecheck/trait_reuse/trait_diamond_static_1.good.php.exp