We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent a128dab commit 88e6ffeCopy full SHA for 88e6ffe
docs/docs/reference/other-new-features/indentation.md
@@ -59,6 +59,7 @@ There are two rules:
59
An indentation region can start
60
61
- after the condition of an `if-else`, or
62
+ - after the leading parameters of an `extension`, or
63
- after a ": at end of line" token (see below)
64
- after one of the following tokens:
65
```
@@ -120,7 +121,7 @@ enum Color:
120
121
type T = A:
122
def f: Int
123
-given [T] with Ord[T] as Ord[List[T]]:
124
+given [T](using Ord[T]) as Ord[List[T]]:
125
def compare(x: List[T], y: List[T]) = ???
126
127
extension (xs: List[Int])
0 commit comments