1--TEST--
2Exception during rope finalization
3--FILE--
4<?php
5
6set_error_handler(function() { throw new Exception; });
7
8try {
9 $b = "foo";
10 $str = "y$b$a";
11} catch (Exception $e) {
12 echo "Exception\n";
13}
14
15?>
16--EXPECT--
17Exception
18
