Which phase of the compiler is responsible for type checking?

Explanation:
Semantic analysis checks type consistency and correctness.