aboutsummaryrefslogtreecommitdiff
path: root/api/dotty/tools/dotc/printing
diff options
context:
space:
mode:
authordotty-bot <felix.mulder@epfl.ch>2017-04-10 09:38:07 +0000
committerdotty-bot <felix.mulder@epfl.ch>2017-04-10 09:38:07 +0000
commit882b4b6e06393574267297ca4fc13fa31bfcfd3f (patch)
tree7eeb5cf07f8ba61c2121ec602fead72e3d3cbef9 /api/dotty/tools/dotc/printing
parentc3bd69ce20a9250b772294885b57021c24e24a8e (diff)
downloaddotty-882b4b6e06393574267297ca4fc13fa31bfcfd3f.tar.gz
dotty-882b4b6e06393574267297ca4fc13fa31bfcfd3f.tar.bz2
dotty-882b4b6e06393574267297ca4fc13fa31bfcfd3f.zip
Update gh-pages site for 318700fdaacd7e6707519e03f15a5ede99ca558a
Diffstat (limited to 'api/dotty/tools/dotc/printing')
-rw-r--r--api/dotty/tools/dotc/printing/Formatting$.html40
-rw-r--r--api/dotty/tools/dotc/printing/Formatting$/ErrorMessageFormatter.html40
-rw-r--r--api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html40
-rw-r--r--api/dotty/tools/dotc/printing/Formatting$/Seen.html40
-rw-r--r--api/dotty/tools/dotc/printing/Formatting$/StringFormatter.html40
-rw-r--r--api/dotty/tools/dotc/printing/Formatting$/SyntaxFormatter.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Black$.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Black.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/BlackB$.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/BlackB.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Blue$.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Blue.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/BlueB$.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/BlueB.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Bold$.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Bold.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Cyan$.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Cyan.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/CyanB$.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/CyanB.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Green$.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Green.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/GreenB$.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/GreenB.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Highlight.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer$.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Magenta$.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Magenta.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/MagentaB$.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/MagentaB.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Modifier.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/NoColor$.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/NoColor.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Red$.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Red.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/RedB$.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/RedB.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Underlined$.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Underlined.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/White$.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/White.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/WhiteB$.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/WhiteB.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Yellow$.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/Yellow.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/YellowB$.html40
-rw-r--r--api/dotty/tools/dotc/printing/Highlighting$/YellowB.html40
-rw-r--r--api/dotty/tools/dotc/printing/PlainPrinter.html40
-rw-r--r--api/dotty/tools/dotc/printing/Printer.html40
-rw-r--r--api/dotty/tools/dotc/printing/Printers.html40
-rw-r--r--api/dotty/tools/dotc/printing/RefinedPrinter.html40
-rw-r--r--api/dotty/tools/dotc/printing/Showable.html40
-rw-r--r--api/dotty/tools/dotc/printing/SyntaxHighlighting$.html40
-rw-r--r--api/dotty/tools/dotc/printing/Texts$.html40
-rw-r--r--api/dotty/tools/dotc/printing/Texts$/Closed.html40
-rw-r--r--api/dotty/tools/dotc/printing/Texts$/Fluid$.html40
-rw-r--r--api/dotty/tools/dotc/printing/Texts$/Fluid.html40
-rw-r--r--api/dotty/tools/dotc/printing/Texts$/Str$.html40
-rw-r--r--api/dotty/tools/dotc/printing/Texts$/Str.html40
-rw-r--r--api/dotty/tools/dotc/printing/Texts$/Text$.html40
-rw-r--r--api/dotty/tools/dotc/printing/Texts$/Text.html40
-rw-r--r--api/dotty/tools/dotc/printing/Texts$/Vertical$.html40
-rw-r--r--api/dotty/tools/dotc/printing/Texts$/Vertical.html40
-rw-r--r--api/dotty/tools/dotc/printing/index.html40
66 files changed, 0 insertions, 2640 deletions
diff --git a/api/dotty/tools/dotc/printing/Formatting$.html b/api/dotty/tools/dotc/printing/Formatting$.html
index 141f28315..14fe3a3eb 100644
--- a/api/dotty/tools/dotc/printing/Formatting$.html
+++ b/api/dotty/tools/dotc/printing/Formatting$.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Formatting$/ErrorMessageFormatter.html b/api/dotty/tools/dotc/printing/Formatting$/ErrorMessageFormatter.html
index d4758e1c6..c645891a2 100644
--- a/api/dotty/tools/dotc/printing/Formatting$/ErrorMessageFormatter.html
+++ b/api/dotty/tools/dotc/printing/Formatting$/ErrorMessageFormatter.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html b/api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html
index 725ea7aca..3520c4228 100644
--- a/api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html
+++ b/api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Formatting$/Seen.html b/api/dotty/tools/dotc/printing/Formatting$/Seen.html
index f8548e357..15f4faf08 100644
--- a/api/dotty/tools/dotc/printing/Formatting$/Seen.html
+++ b/api/dotty/tools/dotc/printing/Formatting$/Seen.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Formatting$/StringFormatter.html b/api/dotty/tools/dotc/printing/Formatting$/StringFormatter.html
index 7bc973f9b..a384f3101 100644
--- a/api/dotty/tools/dotc/printing/Formatting$/StringFormatter.html
+++ b/api/dotty/tools/dotc/printing/Formatting$/StringFormatter.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Formatting$/SyntaxFormatter.html b/api/dotty/tools/dotc/printing/Formatting$/SyntaxFormatter.html
index 0ed5be49c..e97704547 100644
--- a/api/dotty/tools/dotc/printing/Formatting$/SyntaxFormatter.html
+++ b/api/dotty/tools/dotc/printing/Formatting$/SyntaxFormatter.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$.html b/api/dotty/tools/dotc/printing/Highlighting$.html
index 4e78cb022..c550f5871 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Black$.html b/api/dotty/tools/dotc/printing/Highlighting$/Black$.html
index b002dcfb1..e27e812e4 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Black$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Black$.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Black.html b/api/dotty/tools/dotc/printing/Highlighting$/Black.html
index c35a2b208..a7c5d927d 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Black.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Black.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/BlackB$.html b/api/dotty/tools/dotc/printing/Highlighting$/BlackB$.html
index 148cc8d28..c5ffaa352 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/BlackB$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/BlackB$.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/BlackB.html b/api/dotty/tools/dotc/printing/Highlighting$/BlackB.html
index 97c1163af..ba97a4c7c 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/BlackB.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/BlackB.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Blue$.html b/api/dotty/tools/dotc/printing/Highlighting$/Blue$.html
index 85f674c45..da2afce60 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Blue$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Blue$.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Blue.html b/api/dotty/tools/dotc/printing/Highlighting$/Blue.html
index 2119ee4b1..9cc38e3d1 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Blue.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Blue.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/BlueB$.html b/api/dotty/tools/dotc/printing/Highlighting$/BlueB$.html
index b50580524..2270aa965 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/BlueB$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/BlueB$.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/BlueB.html b/api/dotty/tools/dotc/printing/Highlighting$/BlueB.html
index 3a4bfd987..fbc85254f 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/BlueB.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/BlueB.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Bold$.html b/api/dotty/tools/dotc/printing/Highlighting$/Bold$.html
index b93bfda95..0910f37b7 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Bold$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Bold$.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Bold.html b/api/dotty/tools/dotc/printing/Highlighting$/Bold.html
index 5829a1cdb..2bd73c9bf 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Bold.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Bold.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Cyan$.html b/api/dotty/tools/dotc/printing/Highlighting$/Cyan$.html
index 55125ac73..2402c2d0d 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Cyan$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Cyan$.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Cyan.html b/api/dotty/tools/dotc/printing/Highlighting$/Cyan.html
index 9d0e615d8..105ce5044 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Cyan.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Cyan.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/CyanB$.html b/api/dotty/tools/dotc/printing/Highlighting$/CyanB$.html
index f57b815f6..cec7a8cde 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/CyanB$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/CyanB$.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/CyanB.html b/api/dotty/tools/dotc/printing/Highlighting$/CyanB.html
index 51a5dbfff..d15e35b4d 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/CyanB.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/CyanB.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Green$.html b/api/dotty/tools/dotc/printing/Highlighting$/Green$.html
index 862afa672..278fc1d17 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Green$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Green$.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Green.html b/api/dotty/tools/dotc/printing/Highlighting$/Green.html
index 60c108216..d368df734 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Green.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Green.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/GreenB$.html b/api/dotty/tools/dotc/printing/Highlighting$/GreenB$.html
index b92de321e..086840924 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/GreenB$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/GreenB$.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/GreenB.html b/api/dotty/tools/dotc/printing/Highlighting$/GreenB.html
index 2451dd992..3e0af00a6 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/GreenB.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/GreenB.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Highlight.html b/api/dotty/tools/dotc/printing/Highlighting$/Highlight.html
index 1f05e196c..31cf173c6 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Highlight.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Highlight.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer$.html b/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer$.html
index 8eb45939d..eeb38e88d 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer$.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer.html b/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer.html
index 930afbd10..80af7c96c 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/HighlightBuffer.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Magenta$.html b/api/dotty/tools/dotc/printing/Highlighting$/Magenta$.html
index eac364e4f..82894776e 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Magenta$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Magenta$.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Magenta.html b/api/dotty/tools/dotc/printing/Highlighting$/Magenta.html
index adceda5e4..86403dde3 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Magenta.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Magenta.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/MagentaB$.html b/api/dotty/tools/dotc/printing/Highlighting$/MagentaB$.html
index 4db22395e..e5beffc60 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/MagentaB$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/MagentaB$.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/MagentaB.html b/api/dotty/tools/dotc/printing/Highlighting$/MagentaB.html
index 68931f11c..8850993df 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/MagentaB.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/MagentaB.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Modifier.html b/api/dotty/tools/dotc/printing/Highlighting$/Modifier.html
index 5d16e9f9e..7b888140a 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Modifier.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Modifier.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/NoColor$.html b/api/dotty/tools/dotc/printing/Highlighting$/NoColor$.html
index 371748351..bea48c0e3 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/NoColor$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/NoColor$.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/NoColor.html b/api/dotty/tools/dotc/printing/Highlighting$/NoColor.html
index 1dc22a688..a8b341039 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/NoColor.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/NoColor.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Red$.html b/api/dotty/tools/dotc/printing/Highlighting$/Red$.html
index 79ebca90e..0aed07cda 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Red$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Red$.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Red.html b/api/dotty/tools/dotc/printing/Highlighting$/Red.html
index 48bac53e1..f6431213d 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Red.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Red.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/RedB$.html b/api/dotty/tools/dotc/printing/Highlighting$/RedB$.html
index 4171ac571..5715a8432 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/RedB$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/RedB$.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/RedB.html b/api/dotty/tools/dotc/printing/Highlighting$/RedB.html
index 90b8cc372..18002f699 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/RedB.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/RedB.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Underlined$.html b/api/dotty/tools/dotc/printing/Highlighting$/Underlined$.html
index 6081c0927..a75f01c50 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Underlined$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Underlined$.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Underlined.html b/api/dotty/tools/dotc/printing/Highlighting$/Underlined.html
index b05387566..0e79035b2 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Underlined.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Underlined.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/White$.html b/api/dotty/tools/dotc/printing/Highlighting$/White$.html
index 572e13a73..2205fb69b 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/White$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/White$.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/White.html b/api/dotty/tools/dotc/printing/Highlighting$/White.html
index 65030b3f7..d31f11298 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/White.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/White.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/WhiteB$.html b/api/dotty/tools/dotc/printing/Highlighting$/WhiteB$.html
index 332c372c5..12b98f67b 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/WhiteB$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/WhiteB$.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/WhiteB.html b/api/dotty/tools/dotc/printing/Highlighting$/WhiteB.html
index 4ff9c4d65..0b93d3ac2 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/WhiteB.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/WhiteB.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Yellow$.html b/api/dotty/tools/dotc/printing/Highlighting$/Yellow$.html
index 4c85e0c5f..ca8e219b1 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Yellow$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Yellow$.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/Yellow.html b/api/dotty/tools/dotc/printing/Highlighting$/Yellow.html
index b6be32c58..af81246d8 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/Yellow.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/Yellow.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/YellowB$.html b/api/dotty/tools/dotc/printing/Highlighting$/YellowB$.html
index 692acc393..7bab708aa 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/YellowB$.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/YellowB$.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Highlighting$/YellowB.html b/api/dotty/tools/dotc/printing/Highlighting$/YellowB.html
index dc39cf0c3..97234ae34 100644
--- a/api/dotty/tools/dotc/printing/Highlighting$/YellowB.html
+++ b/api/dotty/tools/dotc/printing/Highlighting$/YellowB.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/PlainPrinter.html b/api/dotty/tools/dotc/printing/PlainPrinter.html
index a92afd543..12e321d7d 100644
--- a/api/dotty/tools/dotc/printing/PlainPrinter.html
+++ b/api/dotty/tools/dotc/printing/PlainPrinter.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Printer.html b/api/dotty/tools/dotc/printing/Printer.html
index 1de82e652..f218ac0bf 100644
--- a/api/dotty/tools/dotc/printing/Printer.html
+++ b/api/dotty/tools/dotc/printing/Printer.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Printers.html b/api/dotty/tools/dotc/printing/Printers.html
index a8ef4ee13..ed3ef1d24 100644
--- a/api/dotty/tools/dotc/printing/Printers.html
+++ b/api/dotty/tools/dotc/printing/Printers.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/RefinedPrinter.html b/api/dotty/tools/dotc/printing/RefinedPrinter.html
index 2be20544f..85dfbe5aa 100644
--- a/api/dotty/tools/dotc/printing/RefinedPrinter.html
+++ b/api/dotty/tools/dotc/printing/RefinedPrinter.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Showable.html b/api/dotty/tools/dotc/printing/Showable.html
index d3e5c74c9..d86111151 100644
--- a/api/dotty/tools/dotc/printing/Showable.html
+++ b/api/dotty/tools/dotc/printing/Showable.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/SyntaxHighlighting$.html b/api/dotty/tools/dotc/printing/SyntaxHighlighting$.html
index 694e2a2cf..a51ef9145 100644
--- a/api/dotty/tools/dotc/printing/SyntaxHighlighting$.html
+++ b/api/dotty/tools/dotc/printing/SyntaxHighlighting$.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Texts$.html b/api/dotty/tools/dotc/printing/Texts$.html
index d061d1f66..a99c4529b 100644
--- a/api/dotty/tools/dotc/printing/Texts$.html
+++ b/api/dotty/tools/dotc/printing/Texts$.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Texts$/Closed.html b/api/dotty/tools/dotc/printing/Texts$/Closed.html
index 2d3f232f4..5d410af30 100644
--- a/api/dotty/tools/dotc/printing/Texts$/Closed.html
+++ b/api/dotty/tools/dotc/printing/Texts$/Closed.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Texts$/Fluid$.html b/api/dotty/tools/dotc/printing/Texts$/Fluid$.html
index 1ed7111da..ca8356220 100644
--- a/api/dotty/tools/dotc/printing/Texts$/Fluid$.html
+++ b/api/dotty/tools/dotc/printing/Texts$/Fluid$.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Texts$/Fluid.html b/api/dotty/tools/dotc/printing/Texts$/Fluid.html
index 2cd9343b6..68a8d789f 100644
--- a/api/dotty/tools/dotc/printing/Texts$/Fluid.html
+++ b/api/dotty/tools/dotc/printing/Texts$/Fluid.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Texts$/Str$.html b/api/dotty/tools/dotc/printing/Texts$/Str$.html
index 5ea53f699..be9217da3 100644
--- a/api/dotty/tools/dotc/printing/Texts$/Str$.html
+++ b/api/dotty/tools/dotc/printing/Texts$/Str$.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Texts$/Str.html b/api/dotty/tools/dotc/printing/Texts$/Str.html
index 9a496afa6..01901c553 100644
--- a/api/dotty/tools/dotc/printing/Texts$/Str.html
+++ b/api/dotty/tools/dotc/printing/Texts$/Str.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Texts$/Text$.html b/api/dotty/tools/dotc/printing/Texts$/Text$.html
index 1c77f2b7a..430130a79 100644
--- a/api/dotty/tools/dotc/printing/Texts$/Text$.html
+++ b/api/dotty/tools/dotc/printing/Texts$/Text$.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Texts$/Text.html b/api/dotty/tools/dotc/printing/Texts$/Text.html
index eb3af154d..13d79d64f 100644
--- a/api/dotty/tools/dotc/printing/Texts$/Text.html
+++ b/api/dotty/tools/dotc/printing/Texts$/Text.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Texts$/Vertical$.html b/api/dotty/tools/dotc/printing/Texts$/Vertical$.html
index 55e4623b4..48c1e3c1f 100644
--- a/api/dotty/tools/dotc/printing/Texts$/Vertical$.html
+++ b/api/dotty/tools/dotc/printing/Texts$/Vertical$.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/Texts$/Vertical.html b/api/dotty/tools/dotc/printing/Texts$/Vertical.html
index 286d61fa4..540785ae9 100644
--- a/api/dotty/tools/dotc/printing/Texts$/Vertical.html
+++ b/api/dotty/tools/dotc/printing/Texts$/Vertical.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>
diff --git a/api/dotty/tools/dotc/printing/index.html b/api/dotty/tools/dotc/printing/index.html
index 3b36ad46b..50380a4f1 100644
--- a/api/dotty/tools/dotc/printing/index.html
+++ b/api/dotty/tools/dotc/printing/index.html
@@ -3144,21 +3144,6 @@
</li>
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">C</a>
- </div>
- <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Const.html">Const</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3202,16 +3187,6 @@
<li class="index-entity ">
<div class="entity-kinds">
- <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">T</a>
- </div>
- <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Point.html">Point</a>
- </li>
-
-
-
- <li class="index-entity ">
- <div class="entity-kinds">
-
<a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">T</a>
</div>
<a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Space.html">Space</a>
@@ -3253,21 +3228,6 @@
-
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var$.html">O</a>
-
- <a class="letter-anchor case class" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">C</a>
- </div>
- <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/transform/patmat/Var.html">Var</a>
- </li>
-
-
-
-
-
<li class="index-entity entity-package">
<a class="entity-name" href="../../../../.././api/dotty/tools/dotc/typer/index.html">dotty.tools.dotc.typer</a>