No error on use of `unsafe_cast`
[hiphop-php.git] / hphp / hack / test / typecheck / reflectionproperty_attributes.php
blobdc803ff9d66e1e1f04cf814f192e867dc2c736a0
1 <?hh // strict
2 /**
3 * Copyright (c) 2014, Facebook, Inc.
4 * All rights reserved.
6 * This source code is licensed under the MIT license found in the
7 * LICENSE file in the "hack" directory of this source tree.
12 class FooAttr implements HH\InstancePropertyAttribute {}
14 class Foo {
15 <<FooAttr>>
16 public int $bar = 1;
18 public function testAttr(): void {
19 (new ReflectionClass('Foo'))->getProperty('bar')->getAttributes();
20 (new ReflectionClass('Foo'))->getProperty('bar')->getAttribute('FooAttr');
21 return;