1 File
"property_access_error3.php", line 7, characters 13-19:
2 No
property `my_prop` in `ExampleInt`
(Typing
[4053])
3 File
"property_access_error3.php", line 11, characters 100-109:
4 This is why I think it is an object of type ExampleInt
5 File
"expr_tree.hhi", line 223, characters 11-20:
6 Declaration of `ExampleInt` is here