[opaque pointer type] Use the parsed explicit pointee type when error-checking geps...