We don't visit the internal nodes because the ranges are broken, but
 that doesn't matter for the overall type because it's always 'str'.

(for some reason I thought this was done already).