diff options
| author | dotty-bot <felix.mulder@epfl.ch> | 2017-04-11 10:17:14 +0000 |
|---|---|---|
| committer | dotty-bot <felix.mulder@epfl.ch> | 2017-04-11 10:17:14 +0000 |
| commit | c89c74c0a1762995ee70b57cc428bc978115b881 (patch) | |
| tree | a4fb9df4e25553f15125c342b73863e4819c7d90 /api/dotty/tools/dotc/typer | |
| parent | 0053e33ad799c9fc7451c0a7994d6e92745a57e1 (diff) | |
| download | dotty-c89c74c0a1762995ee70b57cc428bc978115b881.tar.gz dotty-c89c74c0a1762995ee70b57cc428bc978115b881.tar.bz2 dotty-c89c74c0a1762995ee70b57cc428bc978115b881.zip | |
Update gh-pages site for 579571e05a08120133173933e7eaf2555846d1d7
Diffstat (limited to 'api/dotty/tools/dotc/typer')
110 files changed, 1556 insertions, 2167 deletions
diff --git a/api/dotty/tools/dotc/typer/Applications$.html b/api/dotty/tools/dotc/typer/Applications$.html index f4f0e4d28..650b29a2e 100644 --- a/api/dotty/tools/dotc/typer/Applications$.html +++ b/api/dotty/tools/dotc/typer/Applications$.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/typer/Applications.html b/api/dotty/tools/dotc/typer/Applications.html index 8385c5cab..78abb465f 100644 --- a/api/dotty/tools/dotc/typer/Applications.html +++ b/api/dotty/tools/dotc/typer/Applications.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/typer/Applications/ApplicableToTrees.html b/api/dotty/tools/dotc/typer/Applications/ApplicableToTrees.html index 567a5bfa7..2aabbd608 100644 --- a/api/dotty/tools/dotc/typer/Applications/ApplicableToTrees.html +++ b/api/dotty/tools/dotc/typer/Applications/ApplicableToTrees.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/typer/Applications/ApplicableToTreesDirectly.html b/api/dotty/tools/dotc/typer/Applications/ApplicableToTreesDirectly.html index 8c8d7be3a..c194cc02a 100644 --- a/api/dotty/tools/dotc/typer/Applications/ApplicableToTreesDirectly.html +++ b/api/dotty/tools/dotc/typer/Applications/ApplicableToTreesDirectly.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/typer/Applications/ApplicableToTypes.html b/api/dotty/tools/dotc/typer/Applications/ApplicableToTypes.html index 1a3651390..dcd3e9704 100644 --- a/api/dotty/tools/dotc/typer/Applications/ApplicableToTypes.html +++ b/api/dotty/tools/dotc/typer/Applications/ApplicableToTypes.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/typer/Applications/Application.html b/api/dotty/tools/dotc/typer/Applications/Application.html index 87e57c0d8..26f614111 100644 --- a/api/dotty/tools/dotc/typer/Applications/Application.html +++ b/api/dotty/tools/dotc/typer/Applications/Application.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/typer/Applications/ApplyToTyped.html b/api/dotty/tools/dotc/typer/Applications/ApplyToTyped.html index 6ad838ae1..74832dbf8 100644 --- a/api/dotty/tools/dotc/typer/Applications/ApplyToTyped.html +++ b/api/dotty/tools/dotc/typer/Applications/ApplyToTyped.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/typer/Applications/ApplyToUntyped.html b/api/dotty/tools/dotc/typer/Applications/ApplyToUntyped.html index f13e18792..cd5fd383a 100644 --- a/api/dotty/tools/dotc/typer/Applications/ApplyToUntyped.html +++ b/api/dotty/tools/dotc/typer/Applications/ApplyToUntyped.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/typer/Applications/TestApplication.html b/api/dotty/tools/dotc/typer/Applications/TestApplication.html index 2c5a3d84a..7774635ff 100644 --- a/api/dotty/tools/dotc/typer/Applications/TestApplication.html +++ b/api/dotty/tools/dotc/typer/Applications/TestApplication.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/typer/Applications/TypedApply.html b/api/dotty/tools/dotc/typer/Applications/TypedApply.html index e3c15fb8b..a3bf522fe 100644 --- a/api/dotty/tools/dotc/typer/Applications/TypedApply.html +++ b/api/dotty/tools/dotc/typer/Applications/TypedApply.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/typer/Checking$.html b/api/dotty/tools/dotc/typer/Checking$.html index 3c814b98d..1e8406323 100644 --- a/api/dotty/tools/dotc/typer/Checking$.html +++ b/api/dotty/tools/dotc/typer/Checking$.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/typer/Checking$/CheckNonCyclicMap.html b/api/dotty/tools/dotc/typer/Checking$/CheckNonCyclicMap.html index 466e0beea..80fd40f5b 100644 --- a/api/dotty/tools/dotc/typer/Checking$/CheckNonCyclicMap.html +++ b/api/dotty/tools/dotc/typer/Checking$/CheckNonCyclicMap.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/typer/Checking.html b/api/dotty/tools/dotc/typer/Checking.html index 87e714c2d..43c7fb837 100644 --- a/api/dotty/tools/dotc/typer/Checking.html +++ b/api/dotty/tools/dotc/typer/Checking.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/typer/ConstFold$.html b/api/dotty/tools/dotc/typer/ConstFold$.html index a833ca9ef..e71086fa8 100644 --- a/api/dotty/tools/dotc/typer/ConstFold$.html +++ b/api/dotty/tools/dotc/typer/ConstFold$.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/typer/Docstrings.html b/api/dotty/tools/dotc/typer/Docstrings.html index 607d3d635..87d24da2f 100644 --- a/api/dotty/tools/dotc/typer/Docstrings.html +++ b/api/dotty/tools/dotc/typer/Docstrings.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/typer/Dynamic$.html b/api/dotty/tools/dotc/typer/Dynamic$.html index 6a2c70efd..692f68ba2 100644 --- a/api/dotty/tools/dotc/typer/Dynamic$.html +++ b/api/dotty/tools/dotc/typer/Dynamic$.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/typer/Dynamic.html b/api/dotty/tools/dotc/typer/Dynamic.html index 769999d6f..36d5d67bc 100644 --- a/api/dotty/tools/dotc/typer/Dynamic.html +++ b/api/dotty/tools/dotc/typer/Dynamic.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/typer/EmptyTermRefSet$.html b/api/dotty/tools/dotc/typer/EmptyTermRefSet$.html index f53fbae20..df04381e5 100644 --- a/api/dotty/tools/dotc/typer/EmptyTermRefSet$.html +++ b/api/dotty/tools/dotc/typer/EmptyTermRefSet$.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/typer/ErrorReporting$.html b/api/dotty/tools/dotc/typer/ErrorReporting$.html index 0f5f7135e..9796d13e8 100644 --- a/api/dotty/tools/dotc/typer/ErrorReporting$.html +++ b/api/dotty/tools/dotc/typer/ErrorReporting$.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/typer/ErrorReporting$/Errors.html b/api/dotty/tools/dotc/typer/ErrorReporting$/Errors.html index e224f7966..220e129df 100644 --- a/api/dotty/tools/dotc/typer/ErrorReporting$/Errors.html +++ b/api/dotty/tools/dotc/typer/ErrorReporting$/Errors.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/typer/EtaExpansion$.html b/api/dotty/tools/dotc/typer/EtaExpansion$.html index 1bff46ccd..f381b737b 100644 --- a/api/dotty/tools/dotc/typer/EtaExpansion$.html +++ b/api/dotty/tools/dotc/typer/EtaExpansion$.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"> @@ -5559,7 +5554,7 @@ <span class=""> prefix: </span> - String + <a href="../../../../.././api/dotty/tools/dotc/core/Names$/TermName.html">TermName</a> <span class="no-left">)</span> @@ -5630,7 +5625,7 @@ - <span class="no-left">: String</span> + <span class="no-left">: <a href="../../../../.././api/dotty/tools/dotc/core/Names$/TermName.html">TermName</a></span> </div><!-- end member-title --> @@ -5801,7 +5796,7 @@ x0.f(x1, ..., xN)</p> <span class=""> prefix: </span> - String + <a href="../../../../.././api/dotty/tools/dotc/core/Names$/TermName.html">TermName</a> <span class="no-left">)</span> @@ -5874,7 +5869,7 @@ x0.f(x1, ..., xN)</p> - <span class="no-left">: String</span> + <span class="no-left">: <a href="../../../../.././api/dotty/tools/dotc/core/Names$/TermName.html">TermName</a></span> </div><!-- end member-title --> diff --git a/api/dotty/tools/dotc/typer/ForceDegree$.html b/api/dotty/tools/dotc/typer/ForceDegree$.html index e794b8057..6d5a550e0 100644 --- a/api/dotty/tools/dotc/typer/ForceDegree$.html +++ b/api/dotty/tools/dotc/typer/ForceDegree$.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/typer/ForceDegree$/Value.html b/api/dotty/tools/dotc/typer/ForceDegree$/Value.html index f7fda4265..fb90db745 100644 --- a/api/dotty/tools/dotc/typer/ForceDegree$/Value.html +++ b/api/dotty/tools/dotc/typer/ForceDegree$/Value.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/typer/FrontEnd.html b/api/dotty/tools/dotc/typer/FrontEnd.html index 5a676b05f..26f869a56 100644 --- a/api/dotty/tools/dotc/typer/FrontEnd.html +++ b/api/dotty/tools/dotc/typer/FrontEnd.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/typer/ImplicitRunInfo.html b/api/dotty/tools/dotc/typer/ImplicitRunInfo.html index 70f5d8784..2935e8d5b 100644 --- a/api/dotty/tools/dotc/typer/ImplicitRunInfo.html +++ b/api/dotty/tools/dotc/typer/ImplicitRunInfo.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/typer/Implicits$.html b/api/dotty/tools/dotc/typer/Implicits$.html index f3ac1d31f..e423af644 100644 --- a/api/dotty/tools/dotc/typer/Implicits$.html +++ b/api/dotty/tools/dotc/typer/Implicits$.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/typer/Implicits$/AmbiguousImplicits.html b/api/dotty/tools/dotc/typer/Implicits$/AmbiguousImplicits.html index 16ff4b0d6..5ea88ac94 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/AmbiguousImplicits.html +++ b/api/dotty/tools/dotc/typer/Implicits$/AmbiguousImplicits.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/typer/Implicits$/Candidate$.html b/api/dotty/tools/dotc/typer/Implicits$/Candidate$.html index 17dae6449..3f88702fb 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/Candidate$.html +++ b/api/dotty/tools/dotc/typer/Implicits$/Candidate$.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/typer/Implicits$/Candidate.html b/api/dotty/tools/dotc/typer/Implicits$/Candidate.html index 59d190b9e..a9c81d49f 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/Candidate.html +++ b/api/dotty/tools/dotc/typer/Implicits$/Candidate.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/typer/Implicits$/ContextualImplicits.html b/api/dotty/tools/dotc/typer/Implicits$/ContextualImplicits.html index bdadd176d..e856256ec 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/ContextualImplicits.html +++ b/api/dotty/tools/dotc/typer/Implicits$/ContextualImplicits.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/typer/Implicits$/DivergingImplicit$.html b/api/dotty/tools/dotc/typer/Implicits$/DivergingImplicit$.html index c3921732c..64652751f 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/DivergingImplicit$.html +++ b/api/dotty/tools/dotc/typer/Implicits$/DivergingImplicit$.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/typer/Implicits$/DivergingImplicit.html b/api/dotty/tools/dotc/typer/Implicits$/DivergingImplicit.html index b50bafd49..ad2214c68 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/DivergingImplicit.html +++ b/api/dotty/tools/dotc/typer/Implicits$/DivergingImplicit.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/typer/Implicits$/ExplainedSearchFailure.html b/api/dotty/tools/dotc/typer/Implicits$/ExplainedSearchFailure.html index b3b3f2a5c..7ab2fd939 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/ExplainedSearchFailure.html +++ b/api/dotty/tools/dotc/typer/Implicits$/ExplainedSearchFailure.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/typer/Implicits$/FailedImplicit.html b/api/dotty/tools/dotc/typer/Implicits$/FailedImplicit.html index 33f09eb01..6fbcfe5c2 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/FailedImplicit.html +++ b/api/dotty/tools/dotc/typer/Implicits$/FailedImplicit.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/typer/Implicits$/ImplicitRefs.html b/api/dotty/tools/dotc/typer/Implicits$/ImplicitRefs.html index d6cce51da..64e5de5db 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/ImplicitRefs.html +++ b/api/dotty/tools/dotc/typer/Implicits$/ImplicitRefs.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/typer/Implicits$/NoImplicitMatches$.html b/api/dotty/tools/dotc/typer/Implicits$/NoImplicitMatches$.html index ed3d48ce7..ff6525fc5 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/NoImplicitMatches$.html +++ b/api/dotty/tools/dotc/typer/Implicits$/NoImplicitMatches$.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/typer/Implicits$/NonMatchingImplicit.html b/api/dotty/tools/dotc/typer/Implicits$/NonMatchingImplicit.html index 5d708e90c..74633505e 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/NonMatchingImplicit.html +++ b/api/dotty/tools/dotc/typer/Implicits$/NonMatchingImplicit.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/typer/Implicits$/OfTypeImplicits.html b/api/dotty/tools/dotc/typer/Implicits$/OfTypeImplicits.html index ed80442ce..3c68158c1 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/OfTypeImplicits.html +++ b/api/dotty/tools/dotc/typer/Implicits$/OfTypeImplicits.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/typer/Implicits$/SearchFailure.html b/api/dotty/tools/dotc/typer/Implicits$/SearchFailure.html index f6490a1fe..ac5ddfaa3 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/SearchFailure.html +++ b/api/dotty/tools/dotc/typer/Implicits$/SearchFailure.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/typer/Implicits$/SearchResult.html b/api/dotty/tools/dotc/typer/Implicits$/SearchResult.html index 21cd8003f..fa88f59d3 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/SearchResult.html +++ b/api/dotty/tools/dotc/typer/Implicits$/SearchResult.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/typer/Implicits$/SearchSuccess$.html b/api/dotty/tools/dotc/typer/Implicits$/SearchSuccess$.html index a08492e99..bf8df3daa 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/SearchSuccess$.html +++ b/api/dotty/tools/dotc/typer/Implicits$/SearchSuccess$.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/typer/Implicits$/SearchSuccess.html b/api/dotty/tools/dotc/typer/Implicits$/SearchSuccess.html index bc8557ce7..11778cc45 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/SearchSuccess.html +++ b/api/dotty/tools/dotc/typer/Implicits$/SearchSuccess.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/typer/Implicits$/ShadowedImplicit.html b/api/dotty/tools/dotc/typer/Implicits$/ShadowedImplicit.html index 1def75ccd..71f37a8f3 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/ShadowedImplicit.html +++ b/api/dotty/tools/dotc/typer/Implicits$/ShadowedImplicit.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/typer/Implicits.html b/api/dotty/tools/dotc/typer/Implicits.html index 29c10e05e..af9c39beb 100644 --- a/api/dotty/tools/dotc/typer/Implicits.html +++ b/api/dotty/tools/dotc/typer/Implicits.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/typer/Implicits/ExplainedImplicitSearch.html b/api/dotty/tools/dotc/typer/Implicits/ExplainedImplicitSearch.html index cb638f30d..3825352dd 100644 --- a/api/dotty/tools/dotc/typer/Implicits/ExplainedImplicitSearch.html +++ b/api/dotty/tools/dotc/typer/Implicits/ExplainedImplicitSearch.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/typer/Implicits/ImplicitSearch.html b/api/dotty/tools/dotc/typer/Implicits/ImplicitSearch.html index 531879ddc..83e08c638 100644 --- a/api/dotty/tools/dotc/typer/Implicits/ImplicitSearch.html +++ b/api/dotty/tools/dotc/typer/Implicits/ImplicitSearch.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/typer/ImportInfo$.html b/api/dotty/tools/dotc/typer/ImportInfo$.html index ca5439bd4..08e96b9ab 100644 --- a/api/dotty/tools/dotc/typer/ImportInfo$.html +++ b/api/dotty/tools/dotc/typer/ImportInfo$.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"> @@ -5422,9 +5417,9 @@ <div id="entity-members" class="entity-section "> - <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> @@ -5436,7 +5431,7 @@ </span> <span class="member-name "> - <init>$default$4 + $lessinit$greater$default$4 </span> @@ -5450,10 +5445,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> diff --git a/api/dotty/tools/dotc/typer/ImportInfo.html b/api/dotty/tools/dotc/typer/ImportInfo.html index 366a47b60..de4c4335d 100644 --- a/api/dotty/tools/dotc/typer/ImportInfo.html +++ b/api/dotty/tools/dotc/typer/ImportInfo.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/typer/Inferencing$.html b/api/dotty/tools/dotc/typer/Inferencing$.html index 12ba3ac97..119b2f6ab 100644 --- a/api/dotty/tools/dotc/typer/Inferencing$.html +++ b/api/dotty/tools/dotc/typer/Inferencing$.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/typer/Inferencing$/IsFullyDefinedAccumulator.html b/api/dotty/tools/dotc/typer/Inferencing$/IsFullyDefinedAccumulator.html index fd1d3ea8b..d6a7b8042 100644 --- a/api/dotty/tools/dotc/typer/Inferencing$/IsFullyDefinedAccumulator.html +++ b/api/dotty/tools/dotc/typer/Inferencing$/IsFullyDefinedAccumulator.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/typer/Inferencing$/IsFullyDefinedAccumulator/UpperInstantiator.html b/api/dotty/tools/dotc/typer/Inferencing$/IsFullyDefinedAccumulator/UpperInstantiator.html index d841b1167..7d33c65ad 100644 --- a/api/dotty/tools/dotc/typer/Inferencing$/IsFullyDefinedAccumulator/UpperInstantiator.html +++ b/api/dotty/tools/dotc/typer/Inferencing$/IsFullyDefinedAccumulator/UpperInstantiator.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/typer/Inliner$.html b/api/dotty/tools/dotc/typer/Inliner$.html index b210810a3..4b8d19fae 100644 --- a/api/dotty/tools/dotc/typer/Inliner$.html +++ b/api/dotty/tools/dotc/typer/Inliner$.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/typer/Inliner.html b/api/dotty/tools/dotc/typer/Inliner.html index ffd21ffc9..65dd9575d 100644 --- a/api/dotty/tools/dotc/typer/Inliner.html +++ b/api/dotty/tools/dotc/typer/Inliner.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/typer/Inliner/InlineTyper$.html b/api/dotty/tools/dotc/typer/Inliner/InlineTyper$.html index 22beb93da..80ddbfdd3 100644 --- a/api/dotty/tools/dotc/typer/Inliner/InlineTyper$.html +++ b/api/dotty/tools/dotc/typer/Inliner/InlineTyper$.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/typer/Inliner/InlineableClosure$.html b/api/dotty/tools/dotc/typer/Inliner/InlineableClosure$.html index d395e436d..f91d3d209 100644 --- a/api/dotty/tools/dotc/typer/Inliner/InlineableClosure$.html +++ b/api/dotty/tools/dotc/typer/Inliner/InlineableClosure$.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/typer/Namer.html b/api/dotty/tools/dotc/typer/Namer.html index 916429b85..80c072bc9 100644 --- a/api/dotty/tools/dotc/typer/Namer.html +++ b/api/dotty/tools/dotc/typer/Namer.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/typer/Namer/ClassCompleter.html b/api/dotty/tools/dotc/typer/Namer/ClassCompleter.html index a246e1e6e..05c461f9d 100644 --- a/api/dotty/tools/dotc/typer/Namer/ClassCompleter.html +++ b/api/dotty/tools/dotc/typer/Namer/ClassCompleter.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/typer/Namer/Completer.html b/api/dotty/tools/dotc/typer/Namer/Completer.html index 92ddd00aa..baf005921 100644 --- a/api/dotty/tools/dotc/typer/Namer/Completer.html +++ b/api/dotty/tools/dotc/typer/Namer/Completer.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/typer/Namer/TypeDefCompleter.html b/api/dotty/tools/dotc/typer/Namer/TypeDefCompleter.html index 393df347d..c32811044 100644 --- a/api/dotty/tools/dotc/typer/Namer/TypeDefCompleter.html +++ b/api/dotty/tools/dotc/typer/Namer/TypeDefCompleter.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/typer/NamerContextOps$.html b/api/dotty/tools/dotc/typer/NamerContextOps$.html index 4a402fbfe..9f607fa86 100644 --- a/api/dotty/tools/dotc/typer/NamerContextOps$.html +++ b/api/dotty/tools/dotc/typer/NamerContextOps$.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/typer/NamerContextOps.html b/api/dotty/tools/dotc/typer/NamerContextOps.html index 0de35e667..15046191c 100644 --- a/api/dotty/tools/dotc/typer/NamerContextOps.html +++ b/api/dotty/tools/dotc/typer/NamerContextOps.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/typer/NoChecking.html b/api/dotty/tools/dotc/typer/NoChecking.html index f27cebe40..5340c8b89 100644 --- a/api/dotty/tools/dotc/typer/NoChecking.html +++ b/api/dotty/tools/dotc/typer/NoChecking.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/typer/ProtoTypes$.html b/api/dotty/tools/dotc/typer/ProtoTypes$.html index b357d293c..423f11b23 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$.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"> @@ -7119,7 +7114,7 @@ replaced by either wildcards (if typevarsMissContext) or TypeParamRefs.</p> - <span class="no-left">: WildcardType$<span class="and-or-separator"> | </span>SelectionProto</span> + <span class="no-left">: <a href="../../../../.././api/dotty/tools/dotc/core/Types$/WildcardType.html">WildcardType$</a><span class="and-or-separator"> | </span>SelectionProto</span> </div><!-- end member-title --> diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$/AnyFunctionProto$.html b/api/dotty/tools/dotc/typer/ProtoTypes$/AnyFunctionProto$.html index 3cd0fa138..e765f027a 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/AnyFunctionProto$.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/AnyFunctionProto$.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/typer/ProtoTypes$/AnySelectionProto$.html b/api/dotty/tools/dotc/typer/ProtoTypes$/AnySelectionProto$.html index e384890e8..0b3b9b1da 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/AnySelectionProto$.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/AnySelectionProto$.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/typer/ProtoTypes$/AnyTypeConstructorProto$.html b/api/dotty/tools/dotc/typer/ProtoTypes$/AnyTypeConstructorProto$.html index d40306bdd..4014cd016 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/AnyTypeConstructorProto$.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/AnyTypeConstructorProto$.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/typer/ProtoTypes$/ApplyingProto.html b/api/dotty/tools/dotc/typer/ProtoTypes$/ApplyingProto.html index 590541756..b28368cff 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/ApplyingProto.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/ApplyingProto.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/typer/ProtoTypes$/AssignProto$.html b/api/dotty/tools/dotc/typer/ProtoTypes$/AssignProto$.html index cf42eaa5a..b62dd21de 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/AssignProto$.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/AssignProto$.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/typer/ProtoTypes$/CachedSelectionProto.html b/api/dotty/tools/dotc/typer/ProtoTypes$/CachedSelectionProto.html index 66ecb19cd..84b376ad7 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/CachedSelectionProto.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/CachedSelectionProto.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/typer/ProtoTypes$/CachedViewProto.html b/api/dotty/tools/dotc/typer/ProtoTypes$/CachedViewProto.html index 99dc18b96..28f8f7f31 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/CachedViewProto.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/CachedViewProto.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/typer/ProtoTypes$/Compatibility.html b/api/dotty/tools/dotc/typer/ProtoTypes$/Compatibility.html index 5fb088abe..cd6f4175d 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/Compatibility.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/Compatibility.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/typer/ProtoTypes$/FunProto$.html b/api/dotty/tools/dotc/typer/ProtoTypes$/FunProto$.html index f24abdaac..52c8adad6 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/FunProto$.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/FunProto$.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/typer/ProtoTypes$/FunProto.html b/api/dotty/tools/dotc/typer/ProtoTypes$/FunProto.html index 02f8e80ce..09662234c 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/FunProto.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/FunProto.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/typer/ProtoTypes$/FunProtoTyped.html b/api/dotty/tools/dotc/typer/ProtoTypes$/FunProtoTyped.html index 6d2aa19d1..f562207c3 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/FunProtoTyped.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/FunProtoTyped.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/typer/ProtoTypes$/IgnoredProto$.html b/api/dotty/tools/dotc/typer/ProtoTypes$/IgnoredProto$.html index 8108af562..8ac4c4bbe 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/IgnoredProto$.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/IgnoredProto$.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/typer/ProtoTypes$/IgnoredProto.html b/api/dotty/tools/dotc/typer/ProtoTypes$/IgnoredProto.html index 9084dfb8a..a80e509b6 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/IgnoredProto.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/IgnoredProto.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/typer/ProtoTypes$/MatchAlways.html b/api/dotty/tools/dotc/typer/ProtoTypes$/MatchAlways.html index c262e6cd4..e21d3ff1c 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/MatchAlways.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/MatchAlways.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/typer/ProtoTypes$/NoViewsAllowed$.html b/api/dotty/tools/dotc/typer/ProtoTypes$/NoViewsAllowed$.html index 3c9a6d3fe..c32a29551 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/NoViewsAllowed$.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/NoViewsAllowed$.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/typer/ProtoTypes$/PolyProto$.html b/api/dotty/tools/dotc/typer/ProtoTypes$/PolyProto$.html index 17c9705ab..4e5f10f77 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/PolyProto$.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/PolyProto$.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/typer/ProtoTypes$/PolyProto.html b/api/dotty/tools/dotc/typer/ProtoTypes$/PolyProto.html index 5a1507a52..529d93f5a 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/PolyProto.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/PolyProto.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/typer/ProtoTypes$/SelectionProto$.html b/api/dotty/tools/dotc/typer/ProtoTypes$/SelectionProto$.html index d09146e6c..d6a7a73f0 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/SelectionProto$.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/SelectionProto$.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/typer/ProtoTypes$/SelectionProto.html b/api/dotty/tools/dotc/typer/ProtoTypes$/SelectionProto.html index dcca3edcb..5010f9dc9 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/SelectionProto.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/SelectionProto.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/typer/ProtoTypes$/UnapplyFunProto.html b/api/dotty/tools/dotc/typer/ProtoTypes$/UnapplyFunProto.html index a44fc05a2..8db7e4642 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/UnapplyFunProto.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/UnapplyFunProto.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/typer/ProtoTypes$/UnapplySelectionProto.html b/api/dotty/tools/dotc/typer/ProtoTypes$/UnapplySelectionProto.html index 9db9bbdb7..be675a80e 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/UnapplySelectionProto.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/UnapplySelectionProto.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/typer/ProtoTypes$/ViewProto$.html b/api/dotty/tools/dotc/typer/ProtoTypes$/ViewProto$.html index d7b351530..0154d751e 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/ViewProto$.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/ViewProto$.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/typer/ProtoTypes$/ViewProto.html b/api/dotty/tools/dotc/typer/ProtoTypes$/ViewProto.html index cc7f90cc8..f4ae015c4 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/ViewProto.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/ViewProto.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/typer/ProtoTypes$/WildApproxMap.html b/api/dotty/tools/dotc/typer/ProtoTypes$/WildApproxMap.html index ef103feda..d2987257f 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/WildApproxMap.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/WildApproxMap.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/typer/ProtoTypes$/dummyTreeOfType$.html b/api/dotty/tools/dotc/typer/ProtoTypes$/dummyTreeOfType$.html index 0fc1859b7..d074c35d3 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/dummyTreeOfType$.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/dummyTreeOfType$.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/typer/ReTyper.html b/api/dotty/tools/dotc/typer/ReTyper.html index 57fb98662..e734c649c 100644 --- a/api/dotty/tools/dotc/typer/ReTyper.html +++ b/api/dotty/tools/dotc/typer/ReTyper.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/typer/RefChecks$.html b/api/dotty/tools/dotc/typer/RefChecks$.html index e67e90a0e..d55f3690b 100644 --- a/api/dotty/tools/dotc/typer/RefChecks$.html +++ b/api/dotty/tools/dotc/typer/RefChecks$.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"> @@ -6179,67 +6174,6 @@ and required classes.</p> </script> </div><!-- end member --> - <div id="isDefaultGetter(name)" class="member private"> - <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'isDefaultGetter(name)');">[+]</span> - <span class="member-annotations"> - - </span> - <span class="member-modifiers"> - private - </span> - <span class="member-kind"> - def - </span> - <span class="member-name "> - - isDefaultGetter - - </span> - - - - <span class="no-left">(</span> - - - <span class="no-left"> - name: - </span> - <a href="../../../../.././api/dotty/tools/dotc/core/Names$/Name.html">Name</a> - - - <span class="no-left">)</span> - - - - - - - <span class="no-left">: Boolean</span> - - </div><!-- end member-title --> - - <div class="member-body"> - <div class="member-body-short" id="short-body-isDefaultGetter(name)"> - - </div> - <div class="member-body-long" id ="long-body-isDefaultGetter(name)"> - - </div> - </div> - <script> - function toggleMemberBody(span, sig) { - var shortBody = document.getElementById("short-body-" + sig); - var longBody = document.getElementById("long-body-" + sig); - - shortBody.classList.toggle("toggled") - longBody.classList.toggle("toggled") - - span.innerHTML = (span.innerHTML == "[+]") ? "[-]" : "[+]"; - } - </script> - </div><!-- end member --> - </div> </div><!-- end entity-container --> </div> diff --git a/api/dotty/tools/dotc/typer/RefChecks$/LevelInfo.html b/api/dotty/tools/dotc/typer/RefChecks$/LevelInfo.html index 241acc40f..8582252e0 100644 --- a/api/dotty/tools/dotc/typer/RefChecks$/LevelInfo.html +++ b/api/dotty/tools/dotc/typer/RefChecks$/LevelInfo.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/typer/RefChecks$/OptLevelInfo.html b/api/dotty/tools/dotc/typer/RefChecks$/OptLevelInfo.html index d3ec868ac..154ccaf45 100644 --- a/api/dotty/tools/dotc/typer/RefChecks$/OptLevelInfo.html +++ b/api/dotty/tools/dotc/typer/RefChecks$/OptLevelInfo.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/typer/RefChecks.html b/api/dotty/tools/dotc/typer/RefChecks.html index 61d6357e5..7eb9c6e66 100644 --- a/api/dotty/tools/dotc/typer/RefChecks.html +++ b/api/dotty/tools/dotc/typer/RefChecks.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/typer/RefChecks/Transform$.html b/api/dotty/tools/dotc/typer/RefChecks/Transform$.html index 9863bfc25..9bc7cf3ae 100644 --- a/api/dotty/tools/dotc/typer/RefChecks/Transform$.html +++ b/api/dotty/tools/dotc/typer/RefChecks/Transform$.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"> @@ -5422,9 +5417,9 @@ <div id="entity-members" class="entity-section "> - <div id="<init>$default$1" class="member "> + <div id="$lessinit$greater$default$1" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, '<init>$default$1');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, '$lessinit$greater$default$1');">[+]</span> <span class="member-annotations"> </span> @@ -5436,7 +5431,7 @@ </span> <span class="member-name "> - <init>$default$1 + $lessinit$greater$default$1 </span> @@ -5450,10 +5445,10 @@ </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-<init>$default$1"> + <div class="member-body-short" id="short-body-$lessinit$greater$default$1"> </div> - <div class="member-body-long" id ="long-body-<init>$default$1"> + <div class="member-body-long" id ="long-body-$lessinit$greater$default$1"> </div> </div> diff --git a/api/dotty/tools/dotc/typer/RefChecks/Transform.html b/api/dotty/tools/dotc/typer/RefChecks/Transform.html index 123343743..fb04aec4a 100644 --- a/api/dotty/tools/dotc/typer/RefChecks/Transform.html +++ b/api/dotty/tools/dotc/typer/RefChecks/Transform.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/typer/SearchHistory.html b/api/dotty/tools/dotc/typer/SearchHistory.html index ffc8cc299..40ab02735 100644 --- a/api/dotty/tools/dotc/typer/SearchHistory.html +++ b/api/dotty/tools/dotc/typer/SearchHistory.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/typer/TermRefSet.html b/api/dotty/tools/dotc/typer/TermRefSet.html index 33955fc79..eddd68b75 100644 --- a/api/dotty/tools/dotc/typer/TermRefSet.html +++ b/api/dotty/tools/dotc/typer/TermRefSet.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/typer/TypeAssigner$.html b/api/dotty/tools/dotc/typer/TypeAssigner$.html index 463c83be1..35fe578bd 100644 --- a/api/dotty/tools/dotc/typer/TypeAssigner$.html +++ b/api/dotty/tools/dotc/typer/TypeAssigner$.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/typer/TypeAssigner.html b/api/dotty/tools/dotc/typer/TypeAssigner.html index 7b58af844..6f25a6615 100644 --- a/api/dotty/tools/dotc/typer/TypeAssigner.html +++ b/api/dotty/tools/dotc/typer/TypeAssigner.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"> @@ -9757,7 +9752,7 @@ skolemizing the argument type if it is not stable and <code>pref</code> occurs i - <span class="no-left">: <a href="../../../../.././api/dotty/tools/dotc/core/Types$/TypeRef.html">TypeRef</a><span class="and-or-separator"> | </span><a href="../../../../.././api/dotty/tools/dotc/core/Types$/TermRef.html">TermRef</a><span class="and-or-separator"> | </span>NoType$</span> + <span class="no-left">: <a href="../../../../.././api/dotty/tools/dotc/core/Types$/TypeRef.html">TypeRef</a><span class="and-or-separator"> | </span><a href="../../../../.././api/dotty/tools/dotc/core/Types$/TermRef.html">TermRef</a><span class="and-or-separator"> | </span><a href="../../../../.././api/dotty/tools/dotc/core/Types$/NoType$.html">NoType$</a></span> </div><!-- end member-title --> diff --git a/api/dotty/tools/dotc/typer/Typer$.html b/api/dotty/tools/dotc/typer/Typer$.html index 8d0ffd9d1..3d322d344 100644 --- a/api/dotty/tools/dotc/typer/Typer$.html +++ b/api/dotty/tools/dotc/typer/Typer$.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/typer/Typer$/BindingPrec$.html b/api/dotty/tools/dotc/typer/Typer$/BindingPrec$.html index 56ed2312b..62daedf38 100644 --- a/api/dotty/tools/dotc/typer/Typer$/BindingPrec$.html +++ b/api/dotty/tools/dotc/typer/Typer$/BindingPrec$.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/typer/Typer.html b/api/dotty/tools/dotc/typer/Typer.html index a8bb2dd6f..dbca17084 100644 --- a/api/dotty/tools/dotc/typer/Typer.html +++ b/api/dotty/tools/dotc/typer/Typer.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/typer/VarianceChecker$.html b/api/dotty/tools/dotc/typer/VarianceChecker$.html index 363fadc41..9bb2907ff 100644 --- a/api/dotty/tools/dotc/typer/VarianceChecker$.html +++ b/api/dotty/tools/dotc/typer/VarianceChecker$.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/typer/VarianceChecker$/VarianceError$.html b/api/dotty/tools/dotc/typer/VarianceChecker$/VarianceError$.html index 401397746..e70d89d32 100644 --- a/api/dotty/tools/dotc/typer/VarianceChecker$/VarianceError$.html +++ b/api/dotty/tools/dotc/typer/VarianceChecker$/VarianceError$.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/typer/VarianceChecker$/VarianceError.html b/api/dotty/tools/dotc/typer/VarianceChecker$/VarianceError.html index 463d9410d..6bd563d2c 100644 --- a/api/dotty/tools/dotc/typer/VarianceChecker$/VarianceError.html +++ b/api/dotty/tools/dotc/typer/VarianceChecker$/VarianceError.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/typer/VarianceChecker.html b/api/dotty/tools/dotc/typer/VarianceChecker.html index 25cc93649..2479d8f61 100644 --- a/api/dotty/tools/dotc/typer/VarianceChecker.html +++ b/api/dotty/tools/dotc/typer/VarianceChecker.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/typer/VarianceChecker/Traverser$.html b/api/dotty/tools/dotc/typer/VarianceChecker/Traverser$.html index f761d89cf..d890ffe0a 100644 --- a/api/dotty/tools/dotc/typer/VarianceChecker/Traverser$.html +++ b/api/dotty/tools/dotc/typer/VarianceChecker/Traverser$.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/typer/VarianceChecker/Validator$.html b/api/dotty/tools/dotc/typer/VarianceChecker/Validator$.html index 44c1ad11b..8f144991a 100644 --- a/api/dotty/tools/dotc/typer/VarianceChecker/Validator$.html +++ b/api/dotty/tools/dotc/typer/VarianceChecker/Validator$.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/typer/Variances$.html b/api/dotty/tools/dotc/typer/Variances$.html index acb0eed5f..d6e09c5e3 100644 --- a/api/dotty/tools/dotc/typer/Variances$.html +++ b/api/dotty/tools/dotc/typer/Variances$.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/typer/index.html b/api/dotty/tools/dotc/typer/index.html index 230757352..d3f21633e 100644 --- a/api/dotty/tools/dotc/typer/index.html +++ b/api/dotty/tools/dotc/typer/index.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"> |