1--TEST--
2Test typed properties inheritance must not change type
3--FILE--
4<?php
5class Foo{
6    public $bar = 42;
7}
8
9class Baz extends Foo{
10    public int $bar = 33;
11}
12--EXPECTF--
13Fatal error: Type of Baz::$bar must not be defined (as in class Foo) in %s on line 8
14