aboutsummaryrefslogtreecommitdiff
path: root/api/dotty/tools/dotc/config/Settings$
diff options
context:
space:
mode:
authordotty-bot <felix.mulder@epfl.ch>2017-04-11 10:17:14 +0000
committerdotty-bot <felix.mulder@epfl.ch>2017-04-11 10:17:14 +0000
commitc89c74c0a1762995ee70b57cc428bc978115b881 (patch)
treea4fb9df4e25553f15125c342b73863e4819c7d90 /api/dotty/tools/dotc/config/Settings$
parent0053e33ad799c9fc7451c0a7994d6e92745a57e1 (diff)
downloaddotty-c89c74c0a1762995ee70b57cc428bc978115b881.tar.gz
dotty-c89c74c0a1762995ee70b57cc428bc978115b881.tar.bz2
dotty-c89c74c0a1762995ee70b57cc428bc978115b881.zip
Update gh-pages site for 579571e05a08120133173933e7eaf2555846d1d7
Diffstat (limited to 'api/dotty/tools/dotc/config/Settings$')
-rw-r--r--api/dotty/tools/dotc/config/Settings$/ArgsSummary$.html33
-rw-r--r--api/dotty/tools/dotc/config/Settings$/ArgsSummary.html33
-rw-r--r--api/dotty/tools/dotc/config/Settings$/Setting$.html93
-rw-r--r--api/dotty/tools/dotc/config/Settings$/Setting$/SettingDecorator$.html33
-rw-r--r--api/dotty/tools/dotc/config/Settings$/Setting$/SettingDecorator.html33
-rw-r--r--api/dotty/tools/dotc/config/Settings$/Setting.html33
-rw-r--r--api/dotty/tools/dotc/config/Settings$/SettingGroup.html33
-rw-r--r--api/dotty/tools/dotc/config/Settings$/SettingsState.html33
8 files changed, 142 insertions, 182 deletions
diff --git a/api/dotty/tools/dotc/config/Settings$/ArgsSummary$.html b/api/dotty/tools/dotc/config/Settings$/ArgsSummary$.html
index 2db67691e..3c59d443a 100644
--- a/api/dotty/tools/dotc/config/Settings$/ArgsSummary$.html
+++ b/api/dotty/tools/dotc/config/Settings$/ArgsSummary$.html
@@ -877,6 +877,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/NameKinds$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/NameKinds$.html">NameKinds</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/NameOps$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/NameOps$.html">NameOps</a>
@@ -1284,21 +1294,6 @@
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/tasty/TastyName$.html">O</a>
-
- <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/tasty/TastyName.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/tasty/TastyName.html">TastyName</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3614,21 +3609,21 @@
-
-
-
<li class="index-entity with-companion ">
<div class="entity-kinds">
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator$.html">O</a>
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator.html">T</a>
+ <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator.html">C</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator.html">FreshNameCreator</a>
</li>
+
+
+
<li class="index-entity with-companion ">
<div class="entity-kinds">
diff --git a/api/dotty/tools/dotc/config/Settings$/ArgsSummary.html b/api/dotty/tools/dotc/config/Settings$/ArgsSummary.html
index 09f7c4ecd..85f14a8ff 100644
--- a/api/dotty/tools/dotc/config/Settings$/ArgsSummary.html
+++ b/api/dotty/tools/dotc/config/Settings$/ArgsSummary.html
@@ -877,6 +877,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/NameKinds$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/NameKinds$.html">NameKinds</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/NameOps$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/NameOps$.html">NameOps</a>
@@ -1284,21 +1294,6 @@
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/tasty/TastyName$.html">O</a>
-
- <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/tasty/TastyName.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/tasty/TastyName.html">TastyName</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3614,21 +3609,21 @@
-
-
-
<li class="index-entity with-companion ">
<div class="entity-kinds">
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator$.html">O</a>
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator.html">T</a>
+ <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator.html">C</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator.html">FreshNameCreator</a>
</li>
+
+
+
<li class="index-entity with-companion ">
<div class="entity-kinds">
diff --git a/api/dotty/tools/dotc/config/Settings$/Setting$.html b/api/dotty/tools/dotc/config/Settings$/Setting$.html
index 1d081ceb7..932bc28ea 100644
--- a/api/dotty/tools/dotc/config/Settings$/Setting$.html
+++ b/api/dotty/tools/dotc/config/Settings$/Setting$.html
@@ -877,6 +877,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/NameKinds$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/NameKinds$.html">NameKinds</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/NameOps$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/NameOps$.html">NameOps</a>
@@ -1284,21 +1294,6 @@
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/tasty/TastyName$.html">O</a>
-
- <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/tasty/TastyName.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/tasty/TastyName.html">TastyName</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3614,21 +3609,21 @@
-
-
-
<li class="index-entity with-companion ">
<div class="entity-kinds">
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator$.html">O</a>
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator.html">T</a>
+ <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator.html">C</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator.html">FreshNameCreator</a>
</li>
+
+
+
<li class="index-entity with-companion ">
<div class="entity-kinds">
@@ -5514,9 +5509,9 @@
</script>
</div><!-- end member -->
- <div id="<init>$default$4" class="member ">
+ <div id="$lessinit$greater$default$4" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, '<init>$default$4');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, '$lessinit$greater$default$4');">[+]</span>
<span class="member-annotations">
</span>
@@ -5528,7 +5523,7 @@
</span>
<span class="member-name ">
- <init>$default$4
+ $lessinit$greater$default$4
</span>
@@ -5542,10 +5537,10 @@
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-<init>$default$4">
+ <div class="member-body-short" id="short-body-$lessinit$greater$default$4">
</div>
- <div class="member-body-long" id ="long-body-<init>$default$4">
+ <div class="member-body-long" id ="long-body-$lessinit$greater$default$4">
</div>
</div>
@@ -5562,9 +5557,9 @@
</script>
</div><!-- end member -->
- <div id="<init>$default$5" class="member ">
+ <div id="$lessinit$greater$default$5" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, '<init>$default$5');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, '$lessinit$greater$default$5');">[+]</span>
<span class="member-annotations">
</span>
@@ -5576,7 +5571,7 @@
</span>
<span class="member-name ">
- <init>$default$5
+ $lessinit$greater$default$5
</span>
@@ -5590,10 +5585,10 @@
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-<init>$default$5">
+ <div class="member-body-short" id="short-body-$lessinit$greater$default$5">
</div>
- <div class="member-body-long" id ="long-body-<init>$default$5">
+ <div class="member-body-long" id ="long-body-$lessinit$greater$default$5">
</div>
</div>
@@ -5610,9 +5605,9 @@
</script>
</div><!-- end member -->
- <div id="<init>$default$6" class="member ">
+ <div id="$lessinit$greater$default$6" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, '<init>$default$6');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, '$lessinit$greater$default$6');">[+]</span>
<span class="member-annotations">
</span>
@@ -5624,7 +5619,7 @@
</span>
<span class="member-name ">
- <init>$default$6
+ $lessinit$greater$default$6
</span>
@@ -5638,10 +5633,10 @@
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-<init>$default$6">
+ <div class="member-body-short" id="short-body-$lessinit$greater$default$6">
</div>
- <div class="member-body-long" id ="long-body-<init>$default$6">
+ <div class="member-body-long" id ="long-body-$lessinit$greater$default$6">
</div>
</div>
@@ -5658,9 +5653,9 @@
</script>
</div><!-- end member -->
- <div id="<init>$default$7" class="member ">
+ <div id="$lessinit$greater$default$7" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, '<init>$default$7');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, '$lessinit$greater$default$7');">[+]</span>
<span class="member-annotations">
</span>
@@ -5672,7 +5667,7 @@
</span>
<span class="member-name ">
- <init>$default$7
+ $lessinit$greater$default$7
</span>
@@ -5686,10 +5681,10 @@
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-<init>$default$7">
+ <div class="member-body-short" id="short-body-$lessinit$greater$default$7">
</div>
- <div class="member-body-long" id ="long-body-<init>$default$7">
+ <div class="member-body-long" id ="long-body-$lessinit$greater$default$7">
</div>
</div>
@@ -5706,9 +5701,9 @@
</script>
</div><!-- end member -->
- <div id="<init>$default$8" class="member ">
+ <div id="$lessinit$greater$default$8" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, '<init>$default$8');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, '$lessinit$greater$default$8');">[+]</span>
<span class="member-annotations">
</span>
@@ -5720,7 +5715,7 @@
</span>
<span class="member-name ">
- <init>$default$8
+ $lessinit$greater$default$8
</span>
@@ -5734,10 +5729,10 @@
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-<init>$default$8">
+ <div class="member-body-short" id="short-body-$lessinit$greater$default$8">
</div>
- <div class="member-body-long" id ="long-body-<init>$default$8">
+ <div class="member-body-long" id ="long-body-$lessinit$greater$default$8">
</div>
</div>
@@ -5754,9 +5749,9 @@
</script>
</div><!-- end member -->
- <div id="<init>$default$9" class="member ">
+ <div id="$lessinit$greater$default$9" class="member ">
<div class="member-title">
- <span class="expand-button invisible" onclick="toggleMemberBody(this, '<init>$default$9');">[+]</span>
+ <span class="expand-button invisible" onclick="toggleMemberBody(this, '$lessinit$greater$default$9');">[+]</span>
<span class="member-annotations">
</span>
@@ -5768,7 +5763,7 @@
</span>
<span class="member-name ">
- <init>$default$9
+ $lessinit$greater$default$9
</span>
@@ -5782,10 +5777,10 @@
</div><!-- end member-title -->
<div class="member-body">
- <div class="member-body-short" id="short-body-<init>$default$9">
+ <div class="member-body-short" id="short-body-$lessinit$greater$default$9">
</div>
- <div class="member-body-long" id ="long-body-<init>$default$9">
+ <div class="member-body-long" id ="long-body-$lessinit$greater$default$9">
</div>
</div>
diff --git a/api/dotty/tools/dotc/config/Settings$/Setting$/SettingDecorator$.html b/api/dotty/tools/dotc/config/Settings$/Setting$/SettingDecorator$.html
index 3a0b8eb4d..260a5a930 100644
--- a/api/dotty/tools/dotc/config/Settings$/Setting$/SettingDecorator$.html
+++ b/api/dotty/tools/dotc/config/Settings$/Setting$/SettingDecorator$.html
@@ -877,6 +877,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../../.././api/dotty/tools/dotc/core/NameKinds$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../../.././api/dotty/tools/dotc/core/NameKinds$.html">NameKinds</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../../.././api/dotty/tools/dotc/core/NameOps$.html">O</a>
</div>
<a class="entity-name" href="../../../../../../.././api/dotty/tools/dotc/core/NameOps$.html">NameOps</a>
@@ -1284,21 +1294,6 @@
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../../.././api/dotty/tools/dotc/core/tasty/TastyName$.html">O</a>
-
- <a class="letter-anchor class" href="../../../../../../.././api/dotty/tools/dotc/core/tasty/TastyName.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../../.././api/dotty/tools/dotc/core/tasty/TastyName.html">TastyName</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3614,21 +3609,21 @@
-
-
-
<li class="index-entity with-companion ">
<div class="entity-kinds">
<a class="letter-anchor object" href="../../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator$.html">O</a>
- <a class="letter-anchor trait" href="../../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator.html">T</a>
+ <a class="letter-anchor class" href="../../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator.html">C</a>
</div>
<a class="entity-name" href="../../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator.html">FreshNameCreator</a>
</li>
+
+
+
<li class="index-entity with-companion ">
<div class="entity-kinds">
diff --git a/api/dotty/tools/dotc/config/Settings$/Setting$/SettingDecorator.html b/api/dotty/tools/dotc/config/Settings$/Setting$/SettingDecorator.html
index 64c95ffd2..00720921a 100644
--- a/api/dotty/tools/dotc/config/Settings$/Setting$/SettingDecorator.html
+++ b/api/dotty/tools/dotc/config/Settings$/Setting$/SettingDecorator.html
@@ -877,6 +877,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../../.././api/dotty/tools/dotc/core/NameKinds$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../../.././api/dotty/tools/dotc/core/NameKinds$.html">NameKinds</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../../.././api/dotty/tools/dotc/core/NameOps$.html">O</a>
</div>
<a class="entity-name" href="../../../../../../.././api/dotty/tools/dotc/core/NameOps$.html">NameOps</a>
@@ -1284,21 +1294,6 @@
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../../.././api/dotty/tools/dotc/core/tasty/TastyName$.html">O</a>
-
- <a class="letter-anchor class" href="../../../../../../.././api/dotty/tools/dotc/core/tasty/TastyName.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../../.././api/dotty/tools/dotc/core/tasty/TastyName.html">TastyName</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3614,21 +3609,21 @@
-
-
-
<li class="index-entity with-companion ">
<div class="entity-kinds">
<a class="letter-anchor object" href="../../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator$.html">O</a>
- <a class="letter-anchor trait" href="../../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator.html">T</a>
+ <a class="letter-anchor class" href="../../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator.html">C</a>
</div>
<a class="entity-name" href="../../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator.html">FreshNameCreator</a>
</li>
+
+
+
<li class="index-entity with-companion ">
<div class="entity-kinds">
diff --git a/api/dotty/tools/dotc/config/Settings$/Setting.html b/api/dotty/tools/dotc/config/Settings$/Setting.html
index 4fa4121b2..a627fd026 100644
--- a/api/dotty/tools/dotc/config/Settings$/Setting.html
+++ b/api/dotty/tools/dotc/config/Settings$/Setting.html
@@ -877,6 +877,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/NameKinds$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/NameKinds$.html">NameKinds</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/NameOps$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/NameOps$.html">NameOps</a>
@@ -1284,21 +1294,6 @@
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/tasty/TastyName$.html">O</a>
-
- <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/tasty/TastyName.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/tasty/TastyName.html">TastyName</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3614,21 +3609,21 @@
-
-
-
<li class="index-entity with-companion ">
<div class="entity-kinds">
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator$.html">O</a>
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator.html">T</a>
+ <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator.html">C</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator.html">FreshNameCreator</a>
</li>
+
+
+
<li class="index-entity with-companion ">
<div class="entity-kinds">
diff --git a/api/dotty/tools/dotc/config/Settings$/SettingGroup.html b/api/dotty/tools/dotc/config/Settings$/SettingGroup.html
index bd343a9ed..01f9ebf9e 100644
--- a/api/dotty/tools/dotc/config/Settings$/SettingGroup.html
+++ b/api/dotty/tools/dotc/config/Settings$/SettingGroup.html
@@ -877,6 +877,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/NameKinds$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/NameKinds$.html">NameKinds</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/NameOps$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/NameOps$.html">NameOps</a>
@@ -1284,21 +1294,6 @@
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/tasty/TastyName$.html">O</a>
-
- <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/tasty/TastyName.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/tasty/TastyName.html">TastyName</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3614,21 +3609,21 @@
-
-
-
<li class="index-entity with-companion ">
<div class="entity-kinds">
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator$.html">O</a>
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator.html">T</a>
+ <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator.html">C</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator.html">FreshNameCreator</a>
</li>
+
+
+
<li class="index-entity with-companion ">
<div class="entity-kinds">
diff --git a/api/dotty/tools/dotc/config/Settings$/SettingsState.html b/api/dotty/tools/dotc/config/Settings$/SettingsState.html
index 34dde922a..97d91b58e 100644
--- a/api/dotty/tools/dotc/config/Settings$/SettingsState.html
+++ b/api/dotty/tools/dotc/config/Settings$/SettingsState.html
@@ -877,6 +877,16 @@
<li class="index-entity ">
<div class="entity-kinds">
+ <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/NameKinds$.html">O</a>
+ </div>
+ <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/NameKinds$.html">NameKinds</a>
+ </li>
+
+
+
+ <li class="index-entity ">
+ <div class="entity-kinds">
+
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/NameOps$.html">O</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/NameOps$.html">NameOps</a>
@@ -1284,21 +1294,6 @@
- <li class="index-entity with-companion ">
- <div class="entity-kinds">
-
- <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/tasty/TastyName$.html">O</a>
-
- <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/tasty/TastyName.html">C</a>
- </div>
- <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/tasty/TastyName.html">TastyName</a>
- </li>
-
-
-
-
-
-
<li class="index-entity ">
<div class="entity-kinds">
@@ -3614,21 +3609,21 @@
-
-
-
<li class="index-entity with-companion ">
<div class="entity-kinds">
<a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator$.html">O</a>
- <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator.html">T</a>
+ <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator.html">C</a>
</div>
<a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/util/FreshNameCreator.html">FreshNameCreator</a>
</li>
+
+
+
<li class="index-entity with-companion ">
<div class="entity-kinds">