Description:
------------
When an engine exception such as TypeError is not handled this leads to a fatal error. The error message displayed contains the source location twice.

Test script:
---------------
<?php
class C
{
    public function m() : int
    {
        return 'foo';
    }
}

$o = new C;
$o->m();


Expected result:
----------------
Fatal error: Uncaught TypeError: Return value of C::m() must be of the type integer, string returned in /home/sb/test.php on line 6
Stack trace:
#0 /home/sb/test.php(11): C->m()
#1 {main}
  thrown in /home/sb/test.php on line 6


Actual result:
--------------
Fatal error: Uncaught TypeError: Return value of C::m() must be of the type integer, string returned in /home/sb/test.php on line 6 in /home/sb/test.php:6
Stack trace:
#0 /home/sb/test.php(11): C->m()
#1 {main}
  thrown in /home/sb/test.php on line 6