Syntax for mixing `use` Closure clause with return type declaration doesn't seem to be documented anywhere  It's then unclear whether the `use` clause should come before (where PHP7 actually wants it) or after (where HHVM wants it) the return type hint