You're right; I meant that the new variable should never be null, but that its name should indicate that it may or may not be the same as the original `codeTypeRef`.