It verifies that type info for the expression exists is generated if necessary. I'll add a comment to that respect.