From 720db53adbbc2781b872a1f3a04cc3b9a273a153 Mon Sep 17 00:00:00 2001 From: Jens Maurer Date: Sun, 20 Nov 2016 22:15:07 +0100 Subject: [PATCH] [dcl.ref] Introduce the phrase 'reference collapsing' in a note. Fixes #546. --- source/declarators.tex | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/source/declarators.tex b/source/declarators.tex index c02b2d6b56..d3882391ac 100644 --- a/source/declarators.tex +++ b/source/declarators.tex @@ -807,7 +807,9 @@ or a \grammarterm{decltype-specifier}~(\ref{dcl.type.simple}) denotes a type \tcode{TR} that is a reference to a type \tcode{T}, an attempt to create the type ``lvalue reference to \cv{} \tcode{TR}'' creates the type ``lvalue reference to \tcode{T}'', while an attempt to create -the type ``rvalue reference to \cv{} \tcode{TR}'' creates the type \tcode{TR}. \begin{example} +the type ``rvalue reference to \cv{} \tcode{TR}'' creates the type \tcode{TR}. +\begin{note} This rule is known as reference collapsing. \end{note} +\begin{example} \begin{codeblock} int i;