Fix BinOp ty() assertion and fn_sig() for closures
#118846
Merged
ty() assertion and fn_sig() for closures
#118846