Description:
------------
1) get an instance of an anonymous class returned from a included file
2) get another instance of the same class by including it again
3) have the second instance reference the first
-> This gives a fatal error

If in step 2) an exact copy of the file is included instead, the error doesn't happen.
Leaving out the (never used) property of the class also prevents the error.


PHP Version => 7.0.8
Configure Command => './configure'
Server API => Command Line Interface


Test script:
---------------
<?php // test.php
$oldFoo = require('foo.php');
$newFoo = require('foo.php'); // using a copy of foo.php here prevents the error
$newFoo->bing($oldFoo);

<?php // foo.php
return new class{
        public $bar; // comment out this line and there is no error
        public function bing($foo = null)
        {
                if ($foo) $foo->bing();
        }
};

Now run
php test.php

Expected result:
----------------
There should be no output

Actual result:
--------------
Fatal error: Uncaught Error: Call to undefined method class@anonymous::bing() in /home/richard/foo.php:6
Stack trace:
#0 /home/richard/test.php(4): class@anonymous->bing(Object(class@anonymous))
#1 {main}
  thrown in /home/richard/foo.php on line 6