そう。1文のクロージャのときは、クロージャの外側と中身から作れる制約式を全部一気に推論機に突っ込む。