To fix issue #6874: updated the manual to reflect some subtleties
about type declarations and assertions with `::`.