From 07b1b6d1027670035cfac4874d8bdb14926fd647 Mon Sep 17 00:00:00 2001 From: Eisenwave Date: Fri, 25 Aug 2023 22:57:34 +0200 Subject: [PATCH] [meta.unary.op] expand note for has_unique_object_representations --- source/meta.tex | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/source/meta.tex b/source/meta.tex index 1ae428cfe9..e8e38a4291 100644 --- a/source/meta.tex +++ b/source/meta.tex @@ -1354,8 +1354,14 @@ The set of scalar types for which this condition holds is \impldef{which scalar types have unique object representations}. \begin{note} -If a type has padding bits, the condition does not hold; -otherwise, the condition holds true for integral types. +If a type \tcode{T} has padding bits, the condition does not hold for \tcode{T}. +If \tcode{T} is an integral type other than \keyword{bool}, the condition +holds for \tcode{T}. +The condition might not hold for \keyword{bool} because +\keyword{true} or \keyword{false} can have multiple object representations. +If \tcode{std::numeric_limits::is_iec559} is \keyword{true}, the +condition does not hold for \tcode{T} because there are multiple object +representations for some values, such as zero. \end{note} \rSec2[meta.unary.prop.query]{Type property queries}