`exp` refers original expression, but `exp->type` may be rewritten. Even if it does not occur currently, future code change might do it.
I've been fixed many similar bugs which had occured by the AST rewriting, so I'd like to stay in conservative standpoint about that.