Specify #127679

Author: Veykril

src/changelog.rst

@@ -48,6 +48,10 @@ Language changes in Rust 1.82.0
 
 * `Stabilize \`&raw const\` and \`&raw mut\` operators (RFC 2582) <https://github.com/rust-lang/rust/pull/127679>`_
 
+  * New section: :ref:`fls_vXGuvRWOLbEE`
+
+  * New paragraphs: :p:`fls_K7SbApHPmwjM`
+
 * `Stabilize unsafe extern blocks (RFC 3484) <https://github.com/rust-lang/rust/pull/127921>`_
 
 * `Stabilize nested field access in \`offset_of!\` <https://github.com/rust-lang/rust/pull/128284>`_

src/expressions.rst

@@ -482,6 +482,9 @@ The following :t:`[construct]s` are :t:`[place expression context]s`:
 * :dp:`fls_Ufz9W5vyZkv3`
   The :t:`operand` of a :t:`borrow expression`,
 
+* :dp:`fls_K7SbApHPmwjM`
+  The :t:`operand` of a :t:`raw borrow expression`,
+
 * :dp:`fls_KxWIzoh9WwK7`
   The :t:`operand` of a :t:`dereference expression`,
 
@@ -927,6 +930,7 @@ Operator Expressions
      | ErrorPropagationExpression
      | LazyBooleanExpression
      | NegationExpression
+     | RawBorrowExpression
      | TypeCastExpression
 
 .. rubric:: Legality Rules
@@ -971,11 +975,11 @@ state, or simply :t:`borrowed`.
 The :t:`type` of a :t:`borrow expression` is determined as follows:
 
 * :dp:`fls_5b2x5ri2w54r`
-  If the :t:`borrow expression` denotes a :t:`shared reference`, then the
+  If the :t:`borrow expression` denotes an :t:`immutable borrow expression`, then the
   :t:`type` is ``&T``, where ``T`` is the :t:`type` of the :t:`operand`.
 
 * :dp:`fls_agl09ia869rk`
-  If the :t:`borrow expression` denotes a :t:`mutable reference`, then the
+  If the :t:`borrow expression` denotes a :t:`mutable borrow expression`, then the
   :t:`type` is ``&mut T``, where ``T`` is the :t:`type` of the :t:`operand`.
 
 :dp:`fls_8cvmee9bzs40`
@@ -2057,6 +2061,65 @@ The :t:`evaluation` of a :t:`lazy or expression` proceeds as follows:
    false && panic!()
    this || that
 
+.. _fls_vXGuvRWOLbEE:
+
+Raw Borrow Expression
+~~~~~~~~~~~~~~~~~~~~~
+
+.. rubric:: Syntax
+
+.. syntax::
+
+   RawBorrowExpression ::=
+       $$&$$ $$raw$$ ($$const$$ | $$mut$$) Operand
+
+.. rubric:: Legality Rules
+
+:dp:`fls_TS6DvMon5h27`
+A :t:`raw borrow expression` is an :t:`expression` that creates a :t:`raw pointer` to the memory location of its :t:`operand` without incurring a :t:`borrow`.
+
+:dp:`fls_UtjWrE2qeplQ`
+An :dt:`immutable raw borrow expression` is a :t:`raw borrow expression` that has :t:`keyword` ``const``.
+
+:dp:`fls_4e7EE4a8Yvmy`
+A :dt:`mutable raw borrow expression` is a :t:`raw borrow expression` that has :t:`keyword` ``mut``.
+
+:dp:`fls_gOXUWePymgGV`
+When the :t:`operand` of a :t:`raw borrow expression` is a :t:`place expression`, the :t:`raw borrow expression` produces a :t:`raw pointer` to the memory location indicated by the :t:`operand`.
+
+:dp:`fls_YBC8GrIBzZbi`
+It is a static error if the :t:`operand` of a :t:`raw borrow expression` is a :t:`temporary`.
+
+:dp:`fls_Twkre8IzUa8S`
+The :t:`type` of a :t:`raw borrow expression` is determined as follows:
+
+* :dp:`fls_Ki4FOzJMqtvJ`
+  If the :t:`raw borrow expression` denotes an :t:`immutable raw borrow expression`, then the :t:`type` is ``*const T``, where ``T`` is the :t:`type` of the :t:`operand`.
+
+* :dp:`fls_DJxQDBsO9hc7`
+  If the :t:`raw borrow expression` denotes a :t:`mutable raw borrow expression`, then the :t:`type` is ``*mut T``, where ``T`` is the :t:`type` of the :t:`operand`.
+
+:dp:`fls_WlXB0AHifCdd`
+The :t:`value` of a :t:`raw borrow expression` is the address of its :t:`operand`.
+
+.. rubric:: Dynamic Semantics
+
+:dp:`fls_qQrV8QuGGcVO`
+The :t:`evaluation` of a :t:`raw borrow expression` evaluates its :t:`operand`.
+
+.. rubric:: Examples
+
+.. code-block:: rust
+
+   let mut answer = 42;
+
+:dp:`fls_dTABiwAPGhdZ`
+Mutable raw borrow.
+
+.. syntax::
+
+   let ref_answer = &raw mut answer;
+
 .. _fls_1qhsun1vyarz:
 
 Type Cast Expressions

src/glossary.rst

@@ -5357,6 +5357,17 @@ an included :t:`range expression high bound`.
 :dp:`fls_krei7lc6lo8q`
 See :s:`RangeToInclusiveExpression`.
 
+.. _fls_YLhE2qpzYXRK:
+
+raw borrow expression
+^^^^^^^^^^^^^^^^^^^^^
+
+:dp:`fls_Fe39wLb0vvEg`
+A :dt:`raw borrow expression` is an :t:`expression` that creates a :t:`raw pointer` to the memory location of its :t:`operand` without incurring a :t:`borrow`.
+
+:dp:`fls_I71jq8BGyLqi`
+See :s:`RawBorrowExpression`.
+
 .. _fls_ipeh92kh17ze:
 
 raw byte string literal