https://gist.github.com/omochi/af63493d713074428e2fa6a78f0cb491

4:48 PM

手元の4.0環境だと

 (inject_into_optional implicit type='T?' location=a.swift:12:16 range=[a.swift:12:16 - line:12:22] (call_expr type='T' location=a.swift:12:16 range=[a.swift:12:16 - line:12:22] nothrow arg_labels=_:

4:49 PM

a(type) のところの call_exprがTで、その一個上に inject_into_optional があるからそうっぽい

4:49 PM

4.1だと inject_into_optionalが無くて call_exprが T? になっているのかな。