| commit | ded64af0b82f6382bb44b313d7ec279005273ed8 | |
| author | Vassil Mladenov <vmladenov@fb.com> | |
| Wed, 4 Apr 2018 20:04:52 +0000 (4 13:04 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Wed, 4 Apr 2018 20:59:12 +0000 (4 13:59 -0700) | ||
| tree | 6c6bf62ac69599f2844898f33f6c98366c753203 | treesnapshot (tar.gz zip) |
| parent | 34c55f679558a63f859ad4e3f820224c9626eb59 | commitdiff |
Typechecker support for renamed attributes
Summary:
This diff implements typechecker support for strongly typed attributes
```
class __Attribute__A implements HH\ClassAttribute {
public function __construct(public int $i, public string $s, public int $j = 23);
}
<<A(1, "a")>> // correct constructor call
class C {}
<<A("x", "a")>> // "x" is a string, incompatible with int
class X {}
```
Reviewed By: jamesjwu
Differential Revision: D6854512
fbshipit-source-id: 1edadd3f2ada6729f0f9bb8aefcdcca920bfc67b
Summary:
This diff implements typechecker support for strongly typed attributes
```
class __Attribute__A implements HH\ClassAttribute {
public function __construct(public int $i, public string $s, public int $j = 23);
}
<<A(1, "a")>> // correct constructor call
class C {}
<<A("x", "a")>> // "x" is a string, incompatible with int
class X {}
```
Reviewed By: jamesjwu
Differential Revision: D6854512
fbshipit-source-id: 1edadd3f2ada6729f0f9bb8aefcdcca920bfc67b
23 files changed: