`type->next` should be preferred when the type is known