From 6194a528abb42d43bc8cb0b33ab052f086ab7769 Mon Sep 17 00:00:00 2001 From: Krystian Stasiowski Date: Sat, 11 Apr 2020 19:59:40 -0400 Subject: [PATCH] [basic.lval] Dynamic type is not a property of objects --- source/expressions.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/source/expressions.tex b/source/expressions.tex index 50e48c1ff7..bbb6a9981a 100644 --- a/source/expressions.tex +++ b/source/expressions.tex @@ -289,15 +289,15 @@ \pnum If a program attempts to access\iref{defns.access} the stored value of an object through a glvalue -whose type is not similar\iref{conv.qual} to +whose static type is not similar\iref{conv.qual} to one of the following types the behavior is undefined:\footnote{The intent of this list is to specify those circumstances in which an object may or may not be aliased.} \begin{itemize} -\item the dynamic type of the object, +\item the type of the object, \item a type that is the signed or unsigned type corresponding to the -dynamic type of the object, or +type of the object, or \item a \tcode{char}, \tcode{unsigned char}, or \tcode{std::byte} type. \end{itemize}