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

bors merged 3 commits intorust-lang:masterrust-lang/rust:masterfrom

celinval:smir-ty-methodscelinval/rust-dev:smir-ty-methodsCopy head branch name to clipboard