Extend subranges in type check of ->