[GSoC 2021] Tracking for typechecker’s type inference

[moatom]

Thx!

PlaceholderType

• https://github.com/apple/swift/pull/35589
• Placeholder types
• Partial type annotations

I confirmed the current situation. We need to touch the parser at first!