<?php function result(): string { try { echo "try\n"; return 'done'; } finally { echo "finally\n"; } } echo result(), "\n";