| commit | 0129e80396f2070b6f9ce8b672df912d577f768a | |
| author | Scott Owens <sowens@fb.com> | |
| Thu, 23 Sep 2021 14:50:46 +0000 (23 07:50 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Thu, 23 Sep 2021 14:52:43 +0000 (23 07:52 -0700) | ||
| tree | 532b6b5e55d5bbc0052fd1300e6db3dc093acb7b | treesnapshot (tar.gz zip) |
| parent | 21bf2ba07fa3053f11bd6400b677fac0c4172549 | commitdiff |
Relax enforcement requirement on public properties
Summary: Previously, a public property had to have an enforceable type, or actually be syntactically `dynamic`. This loosens the restriction to allow the property to be merely equivalent to dynamic under dynamic-aware subtyping. This lets like-type properties of work, e.g., ~vec<int>.
Reviewed By: francesco-zappa-nardelli
Differential Revision: D31020953
fbshipit-source-id: 3cac9f5126ce684f1c84ced4016dd6e5d4c024ff
Summary: Previously, a public property had to have an enforceable type, or actually be syntactically `dynamic`. This loosens the restriction to allow the property to be merely equivalent to dynamic under dynamic-aware subtyping. This lets like-type properties of work, e.g., ~vec<int>.
Reviewed By: francesco-zappa-nardelli
Differential Revision: D31020953
fbshipit-source-id: 3cac9f5126ce684f1c84ced4016dd6e5d4c024ff