Change operator precedence

docs/design/expressions/README.md

@@ -118,6 +118,10 @@ graph BT
            x >> y"]
     click shift "https://github.com/carbon-language/carbon-lang/blob/trunk/docs/design/expressions/bitwise.md"
 
+    binaryOps((" "))
+
+    where["T where R"]
+
     comparison["x == y<br>
                 x != y<br>
                 x < y<br>
@@ -155,19 +159,31 @@ graph BT
 
     constType --> suffixOps
     pointerType --> constType
-    as --> pointerType
 
     pointer --> suffixOps
     negation & complement & incDec --> pointer
-    unary --> negation & complement
-    %% Use a longer arrow here to put `not` next to `and` and `or`.
-    not -------> suffixOps
-    as & multiplication & modulo & bitwise_and & bitwise_or & bitwise_xor & shift --> unary
+    unary --> pointerType & negation & complement
+
+    %% Use a longer arrow here to put `not` next to other unary operators
+    not ---> suffixOps
+
+    %% `as` at the same level as `where` and comparisons
+    as -----> unary
+
+    multiplication & modulo & bitwise_and & bitwise_or & bitwise_xor & shift --> unary
     addition --> multiplication
-    comparison --> as & addition & modulo & bitwise_and & bitwise_or & bitwise_xor & shift
+    binaryOps --> addition & modulo & bitwise_and & bitwise_or & bitwise_xor & shift
+
+    where --> binaryOps
+    comparison --> binaryOps
     logicalOperand --> comparison & not
+
+    %% This helps group `and` and `or` together
+    classDef hidden display: none;
+    HIDDEN:::hidden ~~~ logicalOperand
+
     and & or --> logicalOperand
-    logicalExpression --> and & or
+    logicalExpression --> as & where & and & or
     if & expressionStatement --> logicalExpression
     insideParens & assignment --> if
 ```

proposals/p4075.md

@@ -0,0 +1,115 @@
+# Change operator precedence
+
+<!--
+Part of the Carbon Language project, under the Apache License v2.0 with LLVM
+Exceptions. See /LICENSE for license information.
+SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+-->
+
+[Pull request](https://github.com/carbon-language/carbon-lang/pull/4075)
+
+<!-- toc -->
+
+## Table of contents
+
+-   [Abstract](#abstract)
+-   [Problem](#problem)
+-   [Background](#background)
+-   [Proposal](#proposal)
+-   [Details](#details)
+-   [Rationale](#rationale)
+-   [Alternatives considered](#alternatives-considered)
+    -   [`as` and `where` could be peers of `if`...`then`...`else`](#as-and-where-could-be-peers-of-ifthenelse)
+    -   [Make `T as I where R` mean `T as (I where R)`](#make-t-as-i-where-r-mean-t-as-i-where-r)
+
+<!-- tocstop -->
+
+## Abstract
+
+Update the operator precedence to achieve a few goals:
+
+-   Form operators into groups which behave similarly
+-   Make the group of operators ("top-level operators") that capture everything
+    to the right, like `if`...`then`...`else`, behave similarly to the left, so
+    that rearranging expressions won't change how they group.
+-   Add the `where` operator, used to specify constraints on facet types, to the
+    precedence chart, to define how it interacts with other operators.
+-   Make the operator precedence diagram prettier, so that it eventually can be
+    made into a poster that Carbon programmers can hang on their walls.
+
+## Problem
+
+The `where` operator is particularly tricky:
+
+-   It is used in an `impl` declaration to specify the values of associated
+    constants (such as associated types). In that context, `impl T as I where R`
+    is interpreted conceptually as `impl T as (I where R)`. It would be nice if
+    `T as I where R` would mean the same thing in other contexts.
+-   The `where` operator will frequently be used with the binary `&` operator,
+    since that is how facet types are combined. It is desirable that
+    `I & J where R` be interpreted as `(I & J) where R`. This is expected to be
+    more common than combinging `where` and `as` outside of an `impl`
+    declaration.
+-   The "restriction" on the right side of a `where` uses operators that mean
+    something else in an expression context: `and`, `==`, `=`. We would like to
+    minimize the confusion when both kinds of uses of those operators appear in
+    the same expression.
+
+These goals are in conflict with the current precedence partial order.
+
+## Background
+
+The initial operator precedence approach, including using a partial precedence
+ordering instead of a total ordering as found in most languages, was established
+by [propsoal #555](https://github.com/carbon-language/carbon-lang/pull/555).
+[PR #1070](https://github.com/carbon-language/carbon-lang/pull/1070) established
+the current precedence chart, which has been incrementally added to since then.
+
+## Proposal
+
+We are making a number of changes:
+
+-   `x as T` is no longer allowed on either side of a comparison operator, or
+    the short-circuiting operators `and` & `or`.
+-   `x where R` is a peer to `as`, but its arguments can be binary operators
+    (like `&`). This matches the comparison operators, which are either illegal
+    or reinterpreted as an argument to `where`.
+-   The type constructors `T*` and `const T` are no longer separate from the
+    other unary operators, and can now be the argument of any binary operator.
+
+## Details
+
+Please see the new precedence diagram in
+[docs/design/expressions/README.md](/docs/design/expressions/README.md).
+
+## Rationale
+
+Precedence is about
+[Code that is easy to read, understand, and write](/docs/project/goals.md#code-that-is-easy-to-read-understand-and-write).
+We don't want to require parentheses too often since that makes the code harder
+to write, and if it goes too far even reading becomes difficult. However, we do
+want parentheses to mark code that would otherwise be misinterpreted. This is a
+balancing act we expect to have to refine with experience.
+
+## Alternatives considered
+
+### `as` and `where` could be peers of `if`...`then`...`else`
+
+We considered making all the "top-level" operators act the same for precedence,
+but we expect users to want to use `as` to force the two branches of an
+`if`...`then`...`else` expression to a common type often enough, and we didn't
+expect the result of doing that to be confusing to read.
+
+### Make `T as I where R` mean `T as (I where R)`
+
+We wanted to make `T as I where R` mean the same facet type as that same
+sequence of tokens in an `impl` declaration. However, this was in conflict with
+the arguments to `where` being the same as the arguments to comparison
+operators. We didn't want to allow an expression mixing binary operators with
+`as` since we expected users to expect that to mean performing the operation
+with that casted-to type. For example, `x + y as i64` would mean
+`(x + y) as i64`, which would perform the addition and only then cast to `i64`,
+which is probably not what would be intended by that expression. We thought it
+better to make `x + y as i64` illegal to force users to use parentheses, even if
+that meant also using parentheses with `T as I where R` in an expression
+context.