pp: also print bounds in paths with no generic params