When recursing for the original size of a type, stop if we are at a