Optional(nil) の型を決めるためにはクロージャの中身が v をそのまま転送しているだけであるって事を考慮しないといけないけど

3:14 AM

2文以上のクロージャの中身は

3:14 AM

クロージャ自体の推論が終わった後に中の推論をするから。