Since we disallow initialization with a `NULL` reference, is this check necessary?