Remove unnecessary require
Make `opt-lambda` type-check without expected type

Closes PR 13554
Closes PR 13999