683077ed2a
683077ed2a [Downgrade PHP 7.2] Downgrade object type also in Closure (#961)
f451b0b8e1
c71f6ee641