Handle trait use conflict resolution
commitfe0e13846ca6368b8ec51f5c8efdab32d7864a26
authorJake Bailey (Hacklang) <jakebailey@fb.com>
Fri, 6 Nov 2020 02:55:49 +0000 (5 18:55 -0800)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Fri, 6 Nov 2020 03:26:13 +0000 (5 19:26 -0800)
tree036710fa9b0a3dbefb8dab2f11b15d6546608742
parentef3af4e671e7706b23ee933b844ea19a7b8b5fcc
Handle trait use conflict resolution

Summary: This feature is unsupported in Hack, but it's easy to handle to the same extent that OCaml decl does, and the OCaml decl behavior better represents the user's intent (and so makes for better error recovery).

Reviewed By: shiqicao

Differential Revision: D24687260

fbshipit-source-id: 5399a7c4a1a7c27a96705884b9db00a332f79168
hphp/hack/src/decl/direct_decl_smart_constructors.rs
hphp/hack/test/decl/trait_use_conflict_resolution.php [new file with mode: 0644]
hphp/hack/test/decl/trait_use_conflict_resolution.php.exp [new file with mode: 0644]
hphp/hack/test/decl/trait_use_conflict_resolution.php.typecheck.exp [new file with mode: 0644]