1--TEST--
2Early binding should be prevented if property types cannot be checked
3--FILE--
4<?php
5
6class X {}
7class_alias('X', 'Y');
8
9class A {
10 public X $prop;
11}
12class B extends A {
13 public Y $prop;
14}
15
16?>
17===DONE===
18--EXPECT--
19===DONE===
20
