Assert that range folding does not fold to Inf