| commit | 34fb87c9fed12369111f5c3f5b25e4721b758b71 | |
| author | James Wu <jjwu@fb.com> | |
| Fri, 17 Aug 2018 17:51:13 +0000 (17 10:51 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Fri, 17 Aug 2018 17:58:22 +0000 (17 10:58 -0700) | ||
| tree | 49615d6c7919840407064046f2f69735dd57b782 | treesnapshot (tar.gz zip) |
| parent | 63c0abcf5668638d17fc15bcabbf1711a80d1173 | commitdiff |
Do not allow interfaces to use traits
Summary: title; runtime already bans it but we might as well ban it in the typechecker as well.
Reviewed By: kmeht
Differential Revision: D9324929
fbshipit-source-id: 5a3000d3b5e72791a9143106c77f1f3c4f66fa03
Summary: title; runtime already bans it but we might as well ban it in the typechecker as well.
Reviewed By: kmeht
Differential Revision: D9324929
fbshipit-source-id: 5a3000d3b5e72791a9143106c77f1f3c4f66fa03