This is redundant, as it was already done in L32 (and the pointerType in both cases are guaranteed to be the same by L41).