1--TEST--
2Objects with overloaded get_properties are incompatible with ArrayObject
3--FILE--
4<?php
5
6$ao = new ArrayObject([1, 2, 3]);
7try {
8    $ao->exchangeArray(new SplFixedArray);
9} catch (Exception $e) {
10    echo $e->getMessage(), "\n";
11}
12var_dump($ao);
13
14?>
15--EXPECT--
16Overloaded object of type SplFixedArray is not compatible with ArrayObject
17object(ArrayObject)#1 (1) {
18  ["storage":"ArrayObject":private]=>
19  array(3) {
20    [0]=>
21    int(1)
22    [1]=>
23    int(2)
24    [2]=>
25    int(3)
26  }
27}
28