cpp/iterator/unreachable sentinel t

@1@ is an empty class type that can be used to denote the “upper bound” of an unbounded interval. @2@ is a constant of type.