Type name and slots are already checked for surrogates somewhere else, but it's
better to ensure that the result is not NULL.