1--TEST--
2Variance check for abstract constructor
3--FILE--
4<?php
5class X {
6}
7abstract class A {
8    abstract function __construct(X $x);
9}
10class B extends A {
11    function __construct(object $x) {}
12}
13class C extends B {
14    function __construct(Y $x) {}
15}
16?>
17--EXPECTF--
18Fatal error: Could not check compatibility between C::__construct(Y $x) and A::__construct(X $x), because class Y is not available in %s on line %d
19