diff options
| author | dotty-bot <felix.mulder@epfl.ch> | 2017-04-06 12:38:46 +0000 |
|---|---|---|
| committer | dotty-bot <felix.mulder@epfl.ch> | 2017-04-06 12:38:46 +0000 |
| commit | ee7de4c03e93c83ef21b1c96f24d034e04dc989c (patch) | |
| tree | 19dfbe356644b5ae0a144b6e11ee4a80de3c4cdf /api/dotty/tools/dotc/typer | |
| parent | dd15dccbfc82ba4f02b3473fd85cf8fe720a3a5c (diff) | |
| download | dotty-ee7de4c03e93c83ef21b1c96f24d034e04dc989c.tar.gz dotty-ee7de4c03e93c83ef21b1c96f24d034e04dc989c.tar.bz2 dotty-ee7de4c03e93c83ef21b1c96f24d034e04dc989c.zip | |
Update gh-pages site for 09cc23726069fa04cbfeec55a9fa4bb8e4a02ff9
Diffstat (limited to 'api/dotty/tools/dotc/typer')
110 files changed, 1783 insertions, 1233 deletions
diff --git a/api/dotty/tools/dotc/typer/Applications$.html b/api/dotty/tools/dotc/typer/Applications$.html index 43076699b..7a2206ba5 100644 --- a/api/dotty/tools/dotc/typer/Applications$.html +++ b/api/dotty/tools/dotc/typer/Applications$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Applications.html b/api/dotty/tools/dotc/typer/Applications.html index c83fdba34..1a2bb6e1c 100644 --- a/api/dotty/tools/dotc/typer/Applications.html +++ b/api/dotty/tools/dotc/typer/Applications.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Applications/ApplicableToTrees.html b/api/dotty/tools/dotc/typer/Applications/ApplicableToTrees.html index d247d256b..af3f29db1 100644 --- a/api/dotty/tools/dotc/typer/Applications/ApplicableToTrees.html +++ b/api/dotty/tools/dotc/typer/Applications/ApplicableToTrees.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Applications/ApplicableToTreesDirectly.html b/api/dotty/tools/dotc/typer/Applications/ApplicableToTreesDirectly.html index c9b2503c2..7ea01caa3 100644 --- a/api/dotty/tools/dotc/typer/Applications/ApplicableToTreesDirectly.html +++ b/api/dotty/tools/dotc/typer/Applications/ApplicableToTreesDirectly.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Applications/ApplicableToTypes.html b/api/dotty/tools/dotc/typer/Applications/ApplicableToTypes.html index ae79229d3..712d0767f 100644 --- a/api/dotty/tools/dotc/typer/Applications/ApplicableToTypes.html +++ b/api/dotty/tools/dotc/typer/Applications/ApplicableToTypes.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Applications/Application.html b/api/dotty/tools/dotc/typer/Applications/Application.html index 6c2d620c5..d21995bc8 100644 --- a/api/dotty/tools/dotc/typer/Applications/Application.html +++ b/api/dotty/tools/dotc/typer/Applications/Application.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> @@ -5867,12 +5872,12 @@ Arg <div class="member-body"> <div class="member-body-short" id="short-body-methType"> <p>The function's type after widening and instantiating polytypes -with polyparams in constraint set</p> +with TypeParamRefs in constraint set</p> </div> <div class="member-body-long" id ="long-body-methType"> <p>The function's type after widening and instantiating polytypes -with polyparams in constraint set</p> +with TypeParamRefs in constraint set</p> </div> </div> diff --git a/api/dotty/tools/dotc/typer/Applications/ApplyToTyped.html b/api/dotty/tools/dotc/typer/Applications/ApplyToTyped.html index 5b2dd220d..b55510d68 100644 --- a/api/dotty/tools/dotc/typer/Applications/ApplyToTyped.html +++ b/api/dotty/tools/dotc/typer/Applications/ApplyToTyped.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Applications/ApplyToUntyped.html b/api/dotty/tools/dotc/typer/Applications/ApplyToUntyped.html index fe7220b0b..283d4b5f8 100644 --- a/api/dotty/tools/dotc/typer/Applications/ApplyToUntyped.html +++ b/api/dotty/tools/dotc/typer/Applications/ApplyToUntyped.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Applications/TestApplication.html b/api/dotty/tools/dotc/typer/Applications/TestApplication.html index 69dc16038..fc9058842 100644 --- a/api/dotty/tools/dotc/typer/Applications/TestApplication.html +++ b/api/dotty/tools/dotc/typer/Applications/TestApplication.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Applications/TypedApply.html b/api/dotty/tools/dotc/typer/Applications/TypedApply.html index 68896e558..574bf727a 100644 --- a/api/dotty/tools/dotc/typer/Applications/TypedApply.html +++ b/api/dotty/tools/dotc/typer/Applications/TypedApply.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Checking$.html b/api/dotty/tools/dotc/typer/Checking$.html index 260b9f1a3..df3943779 100644 --- a/api/dotty/tools/dotc/typer/Checking$.html +++ b/api/dotty/tools/dotc/typer/Checking$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> @@ -5696,9 +5701,9 @@ well as for AppliedTypeTree nodes. Also checks that type arguments to </script> </div><!-- end member --> - <div id="checkBounds(args,poly)(ctx)" class="member "> + <div id="checkBounds(args,tl)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button " onclick="toggleMemberBody(this, 'checkBounds(args,poly)(ctx)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'checkBounds(args,tl)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -5731,9 +5736,9 @@ well as for AppliedTypeTree nodes. Also checks that type arguments to <span class=""> - poly: + tl: </span> - <a href="../../../../.././api/dotty/tools/dotc/core/Types$/PolyType.html">PolyType</a> + <a href="../../../../.././api/dotty/tools/dotc/core/Types$/TypeLambda.html">TypeLambda</a> <span class="no-left">)</span> @@ -5761,14 +5766,14 @@ well as for AppliedTypeTree nodes. Also checks that type arguments to </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-checkBounds(args,poly)(ctx)"> - <p>Check that type arguments <code>args</code> conform to corresponding bounds in <code>poly</code> + <div class="member-body-short" id="short-body-checkBounds(args,tl)(ctx)"> + <p>Check that type arguments <code>args</code> conform to corresponding bounds in <code>tl</code> Note: This does not check the bounds of AppliedTypeTrees. These -are handled by me...</p> +are handled by meth...</p> </div> - <div class="member-body-long" id ="long-body-checkBounds(args,poly)(ctx)"> - <p>Check that type arguments <code>args</code> conform to corresponding bounds in <code>poly</code> + <div class="member-body-long" id ="long-body-checkBounds(args,tl)(ctx)"> + <p>Check that type arguments <code>args</code> conform to corresponding bounds in <code>tl</code> Note: This does not check the bounds of AppliedTypeTrees. These are handled by method checkBounds in FirstTransform</p> diff --git a/api/dotty/tools/dotc/typer/Checking$/CheckNonCyclicMap.html b/api/dotty/tools/dotc/typer/Checking$/CheckNonCyclicMap.html index 6ecca8e70..1537aca1e 100644 --- a/api/dotty/tools/dotc/typer/Checking$/CheckNonCyclicMap.html +++ b/api/dotty/tools/dotc/typer/Checking$/CheckNonCyclicMap.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Checking.html b/api/dotty/tools/dotc/typer/Checking.html index 888779969..a68da786b 100644 --- a/api/dotty/tools/dotc/typer/Checking.html +++ b/api/dotty/tools/dotc/typer/Checking.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/ConstFold$.html b/api/dotty/tools/dotc/typer/ConstFold$.html index 3a8f6d70f..5387b0c52 100644 --- a/api/dotty/tools/dotc/typer/ConstFold$.html +++ b/api/dotty/tools/dotc/typer/ConstFold$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Docstrings.html b/api/dotty/tools/dotc/typer/Docstrings.html index ed2ce2002..7c8157a80 100644 --- a/api/dotty/tools/dotc/typer/Docstrings.html +++ b/api/dotty/tools/dotc/typer/Docstrings.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Dynamic$.html b/api/dotty/tools/dotc/typer/Dynamic$.html index b7563f670..30e402f9f 100644 --- a/api/dotty/tools/dotc/typer/Dynamic$.html +++ b/api/dotty/tools/dotc/typer/Dynamic$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Dynamic.html b/api/dotty/tools/dotc/typer/Dynamic.html index 2169ffed1..42bd0427a 100644 --- a/api/dotty/tools/dotc/typer/Dynamic.html +++ b/api/dotty/tools/dotc/typer/Dynamic.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/EmptyTermRefSet$.html b/api/dotty/tools/dotc/typer/EmptyTermRefSet$.html index 53b1b1415..fa9bf4be8 100644 --- a/api/dotty/tools/dotc/typer/EmptyTermRefSet$.html +++ b/api/dotty/tools/dotc/typer/EmptyTermRefSet$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/ErrorReporting$.html b/api/dotty/tools/dotc/typer/ErrorReporting$.html index 2230fe576..dfefed1ec 100644 --- a/api/dotty/tools/dotc/typer/ErrorReporting$.html +++ b/api/dotty/tools/dotc/typer/ErrorReporting$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> @@ -5840,7 +5845,7 @@ </span> List <span class="no-left no-right">[</span> -<a href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> +<a href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> <span class="no-left">]</span> <span class="no-left">, </span> diff --git a/api/dotty/tools/dotc/typer/ErrorReporting$/Errors.html b/api/dotty/tools/dotc/typer/ErrorReporting$/Errors.html index 01af147b8..3f267dc3f 100644 --- a/api/dotty/tools/dotc/typer/ErrorReporting$/Errors.html +++ b/api/dotty/tools/dotc/typer/ErrorReporting$/Errors.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/EtaExpansion$.html b/api/dotty/tools/dotc/typer/EtaExpansion$.html index 21579498c..3b26700b9 100644 --- a/api/dotty/tools/dotc/typer/EtaExpansion$.html +++ b/api/dotty/tools/dotc/typer/EtaExpansion$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/ForceDegree$.html b/api/dotty/tools/dotc/typer/ForceDegree$.html index f92b2a27b..bf92caf7a 100644 --- a/api/dotty/tools/dotc/typer/ForceDegree$.html +++ b/api/dotty/tools/dotc/typer/ForceDegree$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/ForceDegree$/Value.html b/api/dotty/tools/dotc/typer/ForceDegree$/Value.html index 7f893bc21..41c32f398 100644 --- a/api/dotty/tools/dotc/typer/ForceDegree$/Value.html +++ b/api/dotty/tools/dotc/typer/ForceDegree$/Value.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/FrontEnd.html b/api/dotty/tools/dotc/typer/FrontEnd.html index 807f2a061..6d0221ec9 100644 --- a/api/dotty/tools/dotc/typer/FrontEnd.html +++ b/api/dotty/tools/dotc/typer/FrontEnd.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/ImplicitRunInfo.html b/api/dotty/tools/dotc/typer/ImplicitRunInfo.html index bec086af1..0f1d74c9b 100644 --- a/api/dotty/tools/dotc/typer/ImplicitRunInfo.html +++ b/api/dotty/tools/dotc/typer/ImplicitRunInfo.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Implicits$.html b/api/dotty/tools/dotc/typer/Implicits$.html index 6abc632bf..fd6571718 100644 --- a/api/dotty/tools/dotc/typer/Implicits$.html +++ b/api/dotty/tools/dotc/typer/Implicits$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Implicits$/AmbiguousImplicits.html b/api/dotty/tools/dotc/typer/Implicits$/AmbiguousImplicits.html index 9935dc272..8c684aab3 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/AmbiguousImplicits.html +++ b/api/dotty/tools/dotc/typer/Implicits$/AmbiguousImplicits.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Implicits$/Candidate$.html b/api/dotty/tools/dotc/typer/Implicits$/Candidate$.html index 119985779..44cd12866 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/Candidate$.html +++ b/api/dotty/tools/dotc/typer/Implicits$/Candidate$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Implicits$/Candidate.html b/api/dotty/tools/dotc/typer/Implicits$/Candidate.html index b6810d144..4df0da318 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/Candidate.html +++ b/api/dotty/tools/dotc/typer/Implicits$/Candidate.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Implicits$/ContextualImplicits.html b/api/dotty/tools/dotc/typer/Implicits$/ContextualImplicits.html index b61b276f0..f7d58dce7 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/ContextualImplicits.html +++ b/api/dotty/tools/dotc/typer/Implicits$/ContextualImplicits.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Implicits$/DivergingImplicit$.html b/api/dotty/tools/dotc/typer/Implicits$/DivergingImplicit$.html index 2bd3bc202..e59b910c1 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/DivergingImplicit$.html +++ b/api/dotty/tools/dotc/typer/Implicits$/DivergingImplicit$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Implicits$/DivergingImplicit.html b/api/dotty/tools/dotc/typer/Implicits$/DivergingImplicit.html index 27c9c4a72..95b057da9 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/DivergingImplicit.html +++ b/api/dotty/tools/dotc/typer/Implicits$/DivergingImplicit.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Implicits$/ExplainedSearchFailure.html b/api/dotty/tools/dotc/typer/Implicits$/ExplainedSearchFailure.html index 2e11404cd..2492e3d85 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/ExplainedSearchFailure.html +++ b/api/dotty/tools/dotc/typer/Implicits$/ExplainedSearchFailure.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Implicits$/FailedImplicit.html b/api/dotty/tools/dotc/typer/Implicits$/FailedImplicit.html index acaf6a486..df319eafd 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/FailedImplicit.html +++ b/api/dotty/tools/dotc/typer/Implicits$/FailedImplicit.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Implicits$/ImplicitRefs.html b/api/dotty/tools/dotc/typer/Implicits$/ImplicitRefs.html index 60304b065..a08f44614 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/ImplicitRefs.html +++ b/api/dotty/tools/dotc/typer/Implicits$/ImplicitRefs.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Implicits$/NoImplicitMatches$.html b/api/dotty/tools/dotc/typer/Implicits$/NoImplicitMatches$.html index 08fe6b7fc..fb26abcdd 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/NoImplicitMatches$.html +++ b/api/dotty/tools/dotc/typer/Implicits$/NoImplicitMatches$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Implicits$/NonMatchingImplicit.html b/api/dotty/tools/dotc/typer/Implicits$/NonMatchingImplicit.html index 51832a389..601f0dbd2 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/NonMatchingImplicit.html +++ b/api/dotty/tools/dotc/typer/Implicits$/NonMatchingImplicit.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Implicits$/OfTypeImplicits.html b/api/dotty/tools/dotc/typer/Implicits$/OfTypeImplicits.html index e5cfede9a..590324079 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/OfTypeImplicits.html +++ b/api/dotty/tools/dotc/typer/Implicits$/OfTypeImplicits.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Implicits$/SearchFailure.html b/api/dotty/tools/dotc/typer/Implicits$/SearchFailure.html index 0399bd39e..090882a9a 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/SearchFailure.html +++ b/api/dotty/tools/dotc/typer/Implicits$/SearchFailure.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Implicits$/SearchResult.html b/api/dotty/tools/dotc/typer/Implicits$/SearchResult.html index 6a2128e60..a53d10a6c 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/SearchResult.html +++ b/api/dotty/tools/dotc/typer/Implicits$/SearchResult.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Implicits$/SearchSuccess$.html b/api/dotty/tools/dotc/typer/Implicits$/SearchSuccess$.html index ca9650bdb..47d4141ea 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/SearchSuccess$.html +++ b/api/dotty/tools/dotc/typer/Implicits$/SearchSuccess$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Implicits$/SearchSuccess.html b/api/dotty/tools/dotc/typer/Implicits$/SearchSuccess.html index 98c692a35..ae47f7a51 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/SearchSuccess.html +++ b/api/dotty/tools/dotc/typer/Implicits$/SearchSuccess.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Implicits$/ShadowedImplicit.html b/api/dotty/tools/dotc/typer/Implicits$/ShadowedImplicit.html index 321f63402..e9507d3c6 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/ShadowedImplicit.html +++ b/api/dotty/tools/dotc/typer/Implicits$/ShadowedImplicit.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Implicits.html b/api/dotty/tools/dotc/typer/Implicits.html index df1b705ff..30c5a932c 100644 --- a/api/dotty/tools/dotc/typer/Implicits.html +++ b/api/dotty/tools/dotc/typer/Implicits.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Implicits/ExplainedImplicitSearch.html b/api/dotty/tools/dotc/typer/Implicits/ExplainedImplicitSearch.html index da56c63f8..e2fdf3628 100644 --- a/api/dotty/tools/dotc/typer/Implicits/ExplainedImplicitSearch.html +++ b/api/dotty/tools/dotc/typer/Implicits/ExplainedImplicitSearch.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Implicits/ImplicitSearch.html b/api/dotty/tools/dotc/typer/Implicits/ImplicitSearch.html index cf0a83d4e..b1945e11b 100644 --- a/api/dotty/tools/dotc/typer/Implicits/ImplicitSearch.html +++ b/api/dotty/tools/dotc/typer/Implicits/ImplicitSearch.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/ImportInfo$.html b/api/dotty/tools/dotc/typer/ImportInfo$.html index 63c951520..56b216b02 100644 --- a/api/dotty/tools/dotc/typer/ImportInfo$.html +++ b/api/dotty/tools/dotc/typer/ImportInfo$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/ImportInfo.html b/api/dotty/tools/dotc/typer/ImportInfo.html index 4d254ff07..ac91f2102 100644 --- a/api/dotty/tools/dotc/typer/ImportInfo.html +++ b/api/dotty/tools/dotc/typer/ImportInfo.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Inferencing$.html b/api/dotty/tools/dotc/typer/Inferencing$.html index 492547c8e..5758a08d4 100644 --- a/api/dotty/tools/dotc/typer/Inferencing$.html +++ b/api/dotty/tools/dotc/typer/Inferencing$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> @@ -5820,11 +5825,11 @@ Throws an error if type contains wildcards.</p> <div class="member-body"> <div class="member-body-short" id="short-body-inferTypeParams(tree,pt)(ctx)"> - <p>If <code>tree</code> has a PolyType, infer its type parameters by comparing with expected type <code>pt</code></p> + <p>If <code>tree</code> has a type lambda type, infer its type parameters by comparing with expected type <code>pt</code></p> </div> <div class="member-body-long" id ="long-body-inferTypeParams(tree,pt)(ctx)"> - <p>If <code>tree</code> has a PolyType, infer its type parameters by comparing with expected type <code>pt</code></p> + <p>If <code>tree</code> has a type lambda type, infer its type parameters by comparing with expected type <code>pt</code></p> </div> </div> @@ -5867,7 +5872,7 @@ Throws an error if type contains wildcards.</p> <span class="no-left"> param: </span> - <a href="../../../../.././api/dotty/tools/dotc/core/Types$/PolyParam.html">PolyParam</a> + <a href="../../../../.././api/dotty/tools/dotc/core/Types$/TypeParamRef.html">TypeParamRef</a> <span class="no-left">)</span> diff --git a/api/dotty/tools/dotc/typer/Inferencing$/IsFullyDefinedAccumulator.html b/api/dotty/tools/dotc/typer/Inferencing$/IsFullyDefinedAccumulator.html index 857cf0bbf..0b1406851 100644 --- a/api/dotty/tools/dotc/typer/Inferencing$/IsFullyDefinedAccumulator.html +++ b/api/dotty/tools/dotc/typer/Inferencing$/IsFullyDefinedAccumulator.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Inferencing$/IsFullyDefinedAccumulator/UpperInstantiator.html b/api/dotty/tools/dotc/typer/Inferencing$/IsFullyDefinedAccumulator/UpperInstantiator.html index 811d26fc9..92c55bb71 100644 --- a/api/dotty/tools/dotc/typer/Inferencing$/IsFullyDefinedAccumulator/UpperInstantiator.html +++ b/api/dotty/tools/dotc/typer/Inferencing$/IsFullyDefinedAccumulator/UpperInstantiator.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Inliner$.html b/api/dotty/tools/dotc/typer/Inliner$.html index 5d4967195..972ce41e9 100644 --- a/api/dotty/tools/dotc/typer/Inliner$.html +++ b/api/dotty/tools/dotc/typer/Inliner$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Inliner.html b/api/dotty/tools/dotc/typer/Inliner.html index e73898b77..24ff79cca 100644 --- a/api/dotty/tools/dotc/typer/Inliner.html +++ b/api/dotty/tools/dotc/typer/Inliner.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> @@ -6649,7 +6654,7 @@ refer to the proxy. The proxy is not yet entered in <code>bindingsBuf</code> tha 2. If given type refers to a parameter, make <code>paramProxy</code> refer to the entry stored in <code>paramNames</code> under the parameter's name. This roundabout way to bind parameter references to proxies is done because we not known a priori what the parameter -references of a method are (we only know the method's type, but that contains PolyParams +references of a method are (we only know the method's type, but that contains TypeParamRefs and MethodParams, not TypeRefs or TermRefs.</p> </div> diff --git a/api/dotty/tools/dotc/typer/Inliner/InlineTyper$.html b/api/dotty/tools/dotc/typer/Inliner/InlineTyper$.html index d9470e061..cf12a860b 100644 --- a/api/dotty/tools/dotc/typer/Inliner/InlineTyper$.html +++ b/api/dotty/tools/dotc/typer/Inliner/InlineTyper$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Inliner/InlineableClosure$.html b/api/dotty/tools/dotc/typer/Inliner/InlineableClosure$.html index d9ae198ef..c6ab4361d 100644 --- a/api/dotty/tools/dotc/typer/Inliner/InlineableClosure$.html +++ b/api/dotty/tools/dotc/typer/Inliner/InlineableClosure$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Namer.html b/api/dotty/tools/dotc/typer/Namer.html index a3a417f7b..1b043c975 100644 --- a/api/dotty/tools/dotc/typer/Namer.html +++ b/api/dotty/tools/dotc/typer/Namer.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Namer/ClassCompleter.html b/api/dotty/tools/dotc/typer/Namer/ClassCompleter.html index 378652a92..006bca229 100644 --- a/api/dotty/tools/dotc/typer/Namer/ClassCompleter.html +++ b/api/dotty/tools/dotc/typer/Namer/ClassCompleter.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Namer/Completer.html b/api/dotty/tools/dotc/typer/Namer/Completer.html index 143491bcb..1178a7b15 100644 --- a/api/dotty/tools/dotc/typer/Namer/Completer.html +++ b/api/dotty/tools/dotc/typer/Namer/Completer.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Namer/TypeDefCompleter.html b/api/dotty/tools/dotc/typer/Namer/TypeDefCompleter.html index 19ebbf4e6..de028a4b9 100644 --- a/api/dotty/tools/dotc/typer/Namer/TypeDefCompleter.html +++ b/api/dotty/tools/dotc/typer/Namer/TypeDefCompleter.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/NamerContextOps$.html b/api/dotty/tools/dotc/typer/NamerContextOps$.html index 148b094b0..2dc7c5369 100644 --- a/api/dotty/tools/dotc/typer/NamerContextOps$.html +++ b/api/dotty/tools/dotc/typer/NamerContextOps$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/NamerContextOps.html b/api/dotty/tools/dotc/typer/NamerContextOps.html index e2bbaf115..11ae95e4e 100644 --- a/api/dotty/tools/dotc/typer/NamerContextOps.html +++ b/api/dotty/tools/dotc/typer/NamerContextOps.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/NoChecking.html b/api/dotty/tools/dotc/typer/NoChecking.html index d8c0ce55b..9bcea8e1d 100644 --- a/api/dotty/tools/dotc/typer/NoChecking.html +++ b/api/dotty/tools/dotc/typer/NoChecking.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$.html b/api/dotty/tools/dotc/typer/ProtoTypes$.html index 04e23ab4b..fb89a3e0b 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> @@ -6663,9 +6668,9 @@ operation is further selection. In this case, the expression need not be a value </script> </div><!-- end member --> - <div id="constrained(pt,owningTree)(ctx)" class="member "> + <div id="constrained(tl,owningTree)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button " onclick="toggleMemberBody(this, 'constrained(pt,owningTree)(ctx)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'constrained(tl,owningTree)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6687,9 +6692,9 @@ operation is further selection. In this case, the expression need not be a value <span class="no-left"> - pt: + tl: </span> - <a href="../../../../.././api/dotty/tools/dotc/core/Types$/PolyType.html">PolyType</a> + <a href="../../../../.././api/dotty/tools/dotc/core/Types$/TypeLambda.html">TypeLambda</a> <span class="no-left">, </span> @@ -6721,7 +6726,7 @@ operation is further selection. In this case, the expression need not be a value <span class="no-left">: <span class="no-right">(</span> -<a href="../../../../.././api/dotty/tools/dotc/core/Types$/PolyType.html">PolyType</a><span>, </span>List +<a href="../../../../.././api/dotty/tools/dotc/core/Types$/TypeLambda.html">TypeLambda</a><span>, </span>List <span class="no-left no-right">[</span> <a href="../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#TypeTree">TypeTree</a> <span class="no-left">]</span> @@ -6730,18 +6735,18 @@ operation is further selection. In this case, the expression need not be a value </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-constrained(pt,owningTree)(ctx)"> - <p>Add all parameters in given polytype <code>pt</code> to the constraint's domain. + <div class="member-body-short" id="short-body-constrained(tl,owningTree)(ctx)"> + <p>Add all parameters of given type lambda <code>tl</code> to the constraint's domain. If the constraint contains already some of these parameters in its domain, -make a co... +make a... </p> </div> - <div class="member-body-long" id ="long-body-constrained(pt,owningTree)(ctx)"> - <p>Add all parameters in given polytype <code>pt</code> to the constraint's domain. + <div class="member-body-long" id ="long-body-constrained(tl,owningTree)(ctx)"> + <p>Add all parameters of given type lambda <code>tl</code> to the constraint's domain. If the constraint contains already some of these parameters in its domain, -make a copy of the polytype and add the copy's type parameters instead. -Return either the original polytype, or the copy, if one was made. +make a copy of the type lambda and add the copy's type parameters instead. +Return either the original type lambda, or the copy, if one was made. Also, if <code>owningTree</code> is non-empty, add a type variable for each parameter.</p> </div> @@ -6759,9 +6764,9 @@ Also, if <code>owningTree</code> is non-empty, add a type variable for each para </script> </div><!-- end member --> - <div id="constrained(pt)(ctx)" class="member "> + <div id="constrained(tl)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'constrained(pt)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'constrained(tl)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6783,9 +6788,9 @@ Also, if <code>owningTree</code> is non-empty, add a type variable for each para <span class="no-left"> - pt: + tl: </span> - <a href="../../../../.././api/dotty/tools/dotc/core/Types$/PolyType.html">PolyType</a> + <a href="../../../../.././api/dotty/tools/dotc/core/Types$/TypeLambda.html">TypeLambda</a> <span class="no-left">)</span> @@ -6808,17 +6813,17 @@ Also, if <code>owningTree</code> is non-empty, add a type variable for each para - <span class="no-left">: <a href="../../../../.././api/dotty/tools/dotc/core/Types$/PolyType.html">PolyType</a></span> + <span class="no-left">: <a href="../../../../.././api/dotty/tools/dotc/core/Types$/TypeLambda.html">TypeLambda</a></span> </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-constrained(pt)(ctx)"> - <p>Same as <code>constrained(pt, EmptyTree)</code>, but returns just the created polytype</p> + <div class="member-body-short" id="short-body-constrained(tl)(ctx)"> + <p>Same as <code>constrained(tl, EmptyTree)</code>, but returns just the created type lambda</p> </div> - <div class="member-body-long" id ="long-body-constrained(pt)(ctx)"> - <p>Same as <code>constrained(pt, EmptyTree)</code>, but returns just the created polytype</p> + <div class="member-body-long" id ="long-body-constrained(tl)(ctx)"> + <p>Same as <code>constrained(tl, EmptyTree)</code>, but returns just the created type lambda</p> </div> </div> @@ -6835,9 +6840,9 @@ Also, if <code>owningTree</code> is non-empty, add a type variable for each para </script> </div><!-- end member --> - <div id="newDepPolyParam(tp)(ctx)" class="member "> + <div id="newDepTypeParamRef(tp)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'newDepPolyParam(tp)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'newDepTypeParamRef(tp)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6849,7 +6854,7 @@ Also, if <code>owningTree</code> is non-empty, add a type variable for each para </span> <span class="member-name "> - newDepPolyParam + newDepTypeParamRef </span> @@ -6884,17 +6889,17 @@ Also, if <code>owningTree</code> is non-empty, add a type variable for each para - <span class="no-left">: <a href="../../../../.././api/dotty/tools/dotc/core/Types$/PolyParam.html">PolyParam</a></span> + <span class="no-left">: <a href="../../../../.././api/dotty/tools/dotc/core/Types$/TypeParamRef.html">TypeParamRef</a></span> </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-newDepPolyParam(tp)(ctx)"> - <p>Create a new polyparam that represents a dependent method parameter singleton</p> + <div class="member-body-short" id="short-body-newDepTypeParamRef(tp)(ctx)"> + <p>Create a new TypeParamRef that represents a dependent method parameter singleton</p> </div> - <div class="member-body-long" id ="long-body-newDepPolyParam(tp)(ctx)"> - <p>Create a new polyparam that represents a dependent method parameter singleton</p> + <div class="member-body-long" id ="long-body-newDepTypeParamRef(tp)(ctx)"> + <p>Create a new TypeParamRef that represents a dependent method parameter singleton</p> </div> </div> @@ -7067,12 +7072,12 @@ function type is not compatible with the prototype.</p> <div class="member-body"> <div class="member-body-short" id="short-body-resultTypeApprox(mt)(ctx)"> <p>The result type of <code>mt</code>, where all references to parameters of <code>mt</code> are -replaced by either wildcards (if typevarsMissContext) or polyparams.</p> +replaced by either wildcards (if typevarsMissContext) or TypeParamRefs.</p> </div> <div class="member-body-long" id ="long-body-resultTypeApprox(mt)(ctx)"> <p>The result type of <code>mt</code>, where all references to parameters of <code>mt</code> are -replaced by either wildcards (if typevarsMissContext) or polyparams.</p> +replaced by either wildcards (if typevarsMissContext) or TypeParamRefs.</p> </div> </div> @@ -7227,7 +7232,7 @@ treat constructors specially</p> </span> Set <span class="no-left no-right">[</span> -<a href="../../../../.././api/dotty/tools/dotc/core/Types$/PolyParam.html">PolyParam</a> +<a href="../../../../.././api/dotty/tools/dotc/core/Types$/TypeParamRef.html">TypeParamRef</a> <span class="no-left">]</span> diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$/AnyFunctionProto$.html b/api/dotty/tools/dotc/typer/ProtoTypes$/AnyFunctionProto$.html index 2cbb97de7..c2318f2b7 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/AnyFunctionProto$.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/AnyFunctionProto$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$/AnySelectionProto$.html b/api/dotty/tools/dotc/typer/ProtoTypes$/AnySelectionProto$.html index 42835ab2c..7eb560725 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/AnySelectionProto$.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/AnySelectionProto$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$/AnyTypeConstructorProto$.html b/api/dotty/tools/dotc/typer/ProtoTypes$/AnyTypeConstructorProto$.html index 7689fae38..8f54c988a 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/AnyTypeConstructorProto$.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/AnyTypeConstructorProto$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$/ApplyingProto.html b/api/dotty/tools/dotc/typer/ProtoTypes$/ApplyingProto.html index c01ecccc6..621660f0e 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/ApplyingProto.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/ApplyingProto.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$/AssignProto$.html b/api/dotty/tools/dotc/typer/ProtoTypes$/AssignProto$.html index 1ec8b819b..599004dcb 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/AssignProto$.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/AssignProto$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$/CachedSelectionProto.html b/api/dotty/tools/dotc/typer/ProtoTypes$/CachedSelectionProto.html index 3920d4fcc..18e9f503d 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/CachedSelectionProto.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/CachedSelectionProto.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$/CachedViewProto.html b/api/dotty/tools/dotc/typer/ProtoTypes$/CachedViewProto.html index f6006d43d..61fab863f 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/CachedViewProto.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/CachedViewProto.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$/Compatibility.html b/api/dotty/tools/dotc/typer/ProtoTypes$/Compatibility.html index 7803a8646..34b3aaedc 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/Compatibility.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/Compatibility.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$/FunProto$.html b/api/dotty/tools/dotc/typer/ProtoTypes$/FunProto$.html index 7aecbc6d6..46ccff464 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/FunProto$.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/FunProto$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$/FunProto.html b/api/dotty/tools/dotc/typer/ProtoTypes$/FunProto.html index 0540b4270..6dc6ad98a 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/FunProto.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/FunProto.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> @@ -6183,7 +6188,7 @@ typer state that is not yet committed into the one of the current co... <div class="member-body-long" id ="long-body-allArgTypesAreCurrent()(ctx)"> <p>Forget the types of any arguments that have been typed producing a constraint in a typer state that is not yet committed into the one of the current context <code>ctx</code>. -This is necessary to avoid "orphan" PolyParams that are referred to from +This is necessary to avoid "orphan" TypeParamRefs that are referred to from type variables in the typed arguments, but that are not registered in the current constraint. A test case is pos/t1756.scala.</p> @@ -7516,11 +7521,11 @@ parameterless, we compensate by dropping the application.</p> <div class="member-body"> <div class="member-body-short" id="short-body-resultType(ctx)"> - <p>The resultType of a PolyType, MethodType, or ExprType, the type itself for others</p> + <p>The resultType of a LambdaType, or ExprType, the type itself for others</p> </div> <div class="member-body-long" id ="long-body-resultType(ctx)"> - <p>The resultType of a PolyType, MethodType, or ExprType, the type itself for others</p> + <p>The resultType of a LambdaType, or ExprType, the type itself for others</p> </div> </div> diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$/FunProtoTyped.html b/api/dotty/tools/dotc/typer/ProtoTypes$/FunProtoTyped.html index d0b717117..793ceada1 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/FunProtoTyped.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/FunProtoTyped.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$/IgnoredProto$.html b/api/dotty/tools/dotc/typer/ProtoTypes$/IgnoredProto$.html index 747712d32..87cb387ab 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/IgnoredProto$.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/IgnoredProto$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$/IgnoredProto.html b/api/dotty/tools/dotc/typer/ProtoTypes$/IgnoredProto.html index 25c559c25..8bdf54818 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/IgnoredProto.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/IgnoredProto.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$/MatchAlways.html b/api/dotty/tools/dotc/typer/ProtoTypes$/MatchAlways.html index b123541c0..a5ebd9569 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/MatchAlways.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/MatchAlways.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$/NoViewsAllowed$.html b/api/dotty/tools/dotc/typer/ProtoTypes$/NoViewsAllowed$.html index b42a53893..fa50f51e8 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/NoViewsAllowed$.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/NoViewsAllowed$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$/PolyProto$.html b/api/dotty/tools/dotc/typer/ProtoTypes$/PolyProto$.html index 4440dac2b..08f0fffbb 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/PolyProto$.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/PolyProto$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$/PolyProto.html b/api/dotty/tools/dotc/typer/ProtoTypes$/PolyProto.html index 16105cfb0..181da3076 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/PolyProto.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/PolyProto.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> @@ -6338,11 +6343,11 @@ T <div class="member-body"> <div class="member-body-short" id="short-body-resultType(ctx)"> - <p>The resultType of a PolyType, MethodType, or ExprType, the type itself for others</p> + <p>The resultType of a LambdaType, or ExprType, the type itself for others</p> </div> <div class="member-body-long" id ="long-body-resultType(ctx)"> - <p>The resultType of a PolyType, MethodType, or ExprType, the type itself for others</p> + <p>The resultType of a LambdaType, or ExprType, the type itself for others</p> </div> </div> diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$/SelectionProto$.html b/api/dotty/tools/dotc/typer/ProtoTypes$/SelectionProto$.html index 94ee1767c..6d6d0d294 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/SelectionProto$.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/SelectionProto$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$/SelectionProto.html b/api/dotty/tools/dotc/typer/ProtoTypes$/SelectionProto.html index 2fee65bce..68dfb0196 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/SelectionProto.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/SelectionProto.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$/UnapplyFunProto.html b/api/dotty/tools/dotc/typer/ProtoTypes$/UnapplyFunProto.html index 1e6eff535..18efd7b01 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/UnapplyFunProto.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/UnapplyFunProto.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$/UnapplySelectionProto.html b/api/dotty/tools/dotc/typer/ProtoTypes$/UnapplySelectionProto.html index d6e8263a4..b6c44a107 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/UnapplySelectionProto.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/UnapplySelectionProto.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$/ViewProto$.html b/api/dotty/tools/dotc/typer/ProtoTypes$/ViewProto$.html index dc0d24fb6..2ea0d0784 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/ViewProto$.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/ViewProto$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$/ViewProto.html b/api/dotty/tools/dotc/typer/ProtoTypes$/ViewProto.html index 03bdcc06e..451255c40 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/ViewProto.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/ViewProto.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> @@ -6121,11 +6126,11 @@ T <div class="member-body"> <div class="member-body-short" id="short-body-resultType(ctx)"> - <p>The resultType of a PolyType, MethodType, or ExprType, the type itself for others</p> + <p>The resultType of a LambdaType, or ExprType, the type itself for others</p> </div> <div class="member-body-long" id ="long-body-resultType(ctx)"> - <p>The resultType of a PolyType, MethodType, or ExprType, the type itself for others</p> + <p>The resultType of a LambdaType, or ExprType, the type itself for others</p> </div> </div> diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$/WildApproxMap.html b/api/dotty/tools/dotc/typer/ProtoTypes$/WildApproxMap.html index 7530ce490..378c5094e 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/WildApproxMap.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/WildApproxMap.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> @@ -5470,7 +5475,7 @@ </span> Set <span class="no-left no-right">[</span> -PolyParam +TypeParamRef <span class="no-left">]</span> @@ -5578,7 +5583,7 @@ PolyParam <span class="no-left">: Set <span class="no-left no-right">[</span> -<a href="../../../../../.././api/dotty/tools/dotc/core/Types$/PolyParam.html">PolyParam</a> +<a href="../../../../../.././api/dotty/tools/dotc/core/Types$/TypeParamRef.html">TypeParamRef</a> <span class="no-left">]</span></span> </div><!-- end member-title --> diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$/dummyTreeOfType$.html b/api/dotty/tools/dotc/typer/ProtoTypes$/dummyTreeOfType$.html index 0ed88c3de..4113cf4ed 100644 --- a/api/dotty/tools/dotc/typer/ProtoTypes$/dummyTreeOfType$.html +++ b/api/dotty/tools/dotc/typer/ProtoTypes$/dummyTreeOfType$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/ReTyper.html b/api/dotty/tools/dotc/typer/ReTyper.html index 3103b02b2..b18470ac5 100644 --- a/api/dotty/tools/dotc/typer/ReTyper.html +++ b/api/dotty/tools/dotc/typer/ReTyper.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/RefChecks$.html b/api/dotty/tools/dotc/typer/RefChecks$.html index 738a17b03..f74414143 100644 --- a/api/dotty/tools/dotc/typer/RefChecks$.html +++ b/api/dotty/tools/dotc/typer/RefChecks$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/RefChecks$/LevelInfo.html b/api/dotty/tools/dotc/typer/RefChecks$/LevelInfo.html index 53fd26377..abd251d1a 100644 --- a/api/dotty/tools/dotc/typer/RefChecks$/LevelInfo.html +++ b/api/dotty/tools/dotc/typer/RefChecks$/LevelInfo.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/RefChecks$/OptLevelInfo.html b/api/dotty/tools/dotc/typer/RefChecks$/OptLevelInfo.html index 04f7c50f9..956fecf9b 100644 --- a/api/dotty/tools/dotc/typer/RefChecks$/OptLevelInfo.html +++ b/api/dotty/tools/dotc/typer/RefChecks$/OptLevelInfo.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/RefChecks.html b/api/dotty/tools/dotc/typer/RefChecks.html index 67b6b0f6a..d2159558b 100644 --- a/api/dotty/tools/dotc/typer/RefChecks.html +++ b/api/dotty/tools/dotc/typer/RefChecks.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/RefChecks/Transform$.html b/api/dotty/tools/dotc/typer/RefChecks/Transform$.html index 2224a07ca..2c1470abf 100644 --- a/api/dotty/tools/dotc/typer/RefChecks/Transform$.html +++ b/api/dotty/tools/dotc/typer/RefChecks/Transform$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/RefChecks/Transform.html b/api/dotty/tools/dotc/typer/RefChecks/Transform.html index 12b15d8d8..d3beeca31 100644 --- a/api/dotty/tools/dotc/typer/RefChecks/Transform.html +++ b/api/dotty/tools/dotc/typer/RefChecks/Transform.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/SearchHistory.html b/api/dotty/tools/dotc/typer/SearchHistory.html index e79e5e787..6238867a3 100644 --- a/api/dotty/tools/dotc/typer/SearchHistory.html +++ b/api/dotty/tools/dotc/typer/SearchHistory.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/TermRefSet.html b/api/dotty/tools/dotc/typer/TermRefSet.html index 99dbc3f76..ae2ff6af3 100644 --- a/api/dotty/tools/dotc/typer/TermRefSet.html +++ b/api/dotty/tools/dotc/typer/TermRefSet.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/TypeAssigner$.html b/api/dotty/tools/dotc/typer/TypeAssigner$.html index 2b43cb22a..060067b88 100644 --- a/api/dotty/tools/dotc/typer/TypeAssigner$.html +++ b/api/dotty/tools/dotc/typer/TypeAssigner$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/TypeAssigner.html b/api/dotty/tools/dotc/typer/TypeAssigner.html index 17afa2db1..b331884d2 100644 --- a/api/dotty/tools/dotc/typer/TypeAssigner.html +++ b/api/dotty/tools/dotc/typer/TypeAssigner.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> @@ -7869,7 +7874,7 @@ Refinements are typed as if they were members of refinement class <code>refineCl <span class="no-left"> tree: </span> - <a href="../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#PolyTypeTree">PolyTypeTree</a> + <a href="../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#LambdaTypeTree">LambdaTypeTree</a> <span class="no-left">, </span> @@ -7911,7 +7916,7 @@ Refinements are typed as if they were members of refinement class <code>refineCl - <span class="no-left">: <a href="../../../../.././api/dotty/tools/dotc/ast/Trees$/PolyTypeTree.html">PolyTypeTree</a> + <span class="no-left">: <a href="../../../../.././api/dotty/tools/dotc/ast/Trees$/LambdaTypeTree.html">LambdaTypeTree</a> <span class="no-left no-right">[</span> <a href="../../../../.././api/dotty/tools/dotc/core/Types$/Type.html">Type</a> <span class="no-left">]</span></span> diff --git a/api/dotty/tools/dotc/typer/Typer$.html b/api/dotty/tools/dotc/typer/Typer$.html index c7bea44d8..02b95440f 100644 --- a/api/dotty/tools/dotc/typer/Typer$.html +++ b/api/dotty/tools/dotc/typer/Typer$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Typer$/BindingPrec$.html b/api/dotty/tools/dotc/typer/Typer$/BindingPrec$.html index c6fcea282..4c2ca6074 100644 --- a/api/dotty/tools/dotc/typer/Typer$/BindingPrec$.html +++ b/api/dotty/tools/dotc/typer/Typer$/BindingPrec$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Typer.html b/api/dotty/tools/dotc/typer/Typer.html index 0479cf34b..10424a710 100644 --- a/api/dotty/tools/dotc/typer/Typer.html +++ b/api/dotty/tools/dotc/typer/Typer.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> @@ -10156,6 +10161,80 @@ T </script> </div><!-- end member --> + <div id="typedLambdaTypeTree(tree)(ctx)" class="member "> + <div class="member-title"> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'typedLambdaTypeTree(tree)(ctx)');">[+]</span> + <span class="member-annotations"> + + </span> + <span class="member-modifiers"> + + </span> + <span class="member-kind"> + def + </span> + <span class="member-name "> + + typedLambdaTypeTree + + </span> + + + + <span class="no-left">(</span> + + + <span class="no-left"> + tree: + </span> + <a href="../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#LambdaTypeTree">LambdaTypeTree</a> + + + <span class="no-left">)</span> + + <span class="no-left">(</span> + + <span class="no-left keyword">implicit</span> + + + <span class="no-left"> + ctx: + </span> + <a href="../../../../.././api/dotty/tools/dotc/core/Contexts$/Context.html">Context</a> + + + <span class="no-left">)</span> + + + + + + + <span class="no-left">: <a href="../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Tree">Tree</a></span> + + </div><!-- end member-title --> + + <div class="member-body"> + <div class="member-body-short" id="short-body-typedLambdaTypeTree(tree)(ctx)"> + + </div> + <div class="member-body-long" id ="long-body-typedLambdaTypeTree(tree)(ctx)"> + + </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 id="typedLiteral(tree)(ctx)" class="member "> <div class="member-title"> <span class="expand-button invisible" onclick="toggleMemberBody(this, 'typedLiteral(tree)(ctx)');">[+]</span> @@ -10766,80 +10845,6 @@ T </script> </div><!-- end member --> - <div id="typedPolyTypeTree(tree)(ctx)" class="member "> - <div class="member-title"> - <span class="expand-button invisible" onclick="toggleMemberBody(this, 'typedPolyTypeTree(tree)(ctx)');">[+]</span> - <span class="member-annotations"> - - </span> - <span class="member-modifiers"> - - </span> - <span class="member-kind"> - def - </span> - <span class="member-name "> - - typedPolyTypeTree - - </span> - - - - <span class="no-left">(</span> - - - <span class="no-left"> - tree: - </span> - <a href="../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#PolyTypeTree">PolyTypeTree</a> - - - <span class="no-left">)</span> - - <span class="no-left">(</span> - - <span class="no-left keyword">implicit</span> - - - <span class="no-left"> - ctx: - </span> - <a href="../../../../.././api/dotty/tools/dotc/core/Contexts$/Context.html">Context</a> - - - <span class="no-left">)</span> - - - - - - - <span class="no-left">: <a href="../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Tree">Tree</a></span> - - </div><!-- end member-title --> - - <div class="member-body"> - <div class="member-body-short" id="short-body-typedPolyTypeTree(tree)(ctx)"> - - </div> - <div class="member-body-long" id ="long-body-typedPolyTypeTree(tree)(ctx)"> - - </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 id="typedRefinedTypeTree(tree)(ctx)" class="member "> <div class="member-title"> <span class="expand-button invisible" onclick="toggleMemberBody(this, 'typedRefinedTypeTree(tree)(ctx)');">[+]</span> diff --git a/api/dotty/tools/dotc/typer/VarianceChecker$.html b/api/dotty/tools/dotc/typer/VarianceChecker$.html index 3fe5ecb25..fcc773068 100644 --- a/api/dotty/tools/dotc/typer/VarianceChecker$.html +++ b/api/dotty/tools/dotc/typer/VarianceChecker$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/VarianceChecker$/VarianceError$.html b/api/dotty/tools/dotc/typer/VarianceChecker$/VarianceError$.html index f01dea4ed..6bafe4350 100644 --- a/api/dotty/tools/dotc/typer/VarianceChecker$/VarianceError$.html +++ b/api/dotty/tools/dotc/typer/VarianceChecker$/VarianceError$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/VarianceChecker$/VarianceError.html b/api/dotty/tools/dotc/typer/VarianceChecker$/VarianceError.html index ad1d3a915..25c3864d9 100644 --- a/api/dotty/tools/dotc/typer/VarianceChecker$/VarianceError.html +++ b/api/dotty/tools/dotc/typer/VarianceChecker$/VarianceError.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/VarianceChecker.html b/api/dotty/tools/dotc/typer/VarianceChecker.html index d7407b958..4902f5b3d 100644 --- a/api/dotty/tools/dotc/typer/VarianceChecker.html +++ b/api/dotty/tools/dotc/typer/VarianceChecker.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/VarianceChecker/Traverser$.html b/api/dotty/tools/dotc/typer/VarianceChecker/Traverser$.html index 64ab3451c..970ce9e0a 100644 --- a/api/dotty/tools/dotc/typer/VarianceChecker/Traverser$.html +++ b/api/dotty/tools/dotc/typer/VarianceChecker/Traverser$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/VarianceChecker/Validator$.html b/api/dotty/tools/dotc/typer/VarianceChecker/Validator$.html index b3a19502b..0262c6f77 100644 --- a/api/dotty/tools/dotc/typer/VarianceChecker/Validator$.html +++ b/api/dotty/tools/dotc/typer/VarianceChecker/Validator$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/Variances$.html b/api/dotty/tools/dotc/typer/Variances$.html index 55b540e4f..e26b5c9d4 100644 --- a/api/dotty/tools/dotc/typer/Variances$.html +++ b/api/dotty/tools/dotc/typer/Variances$.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> diff --git a/api/dotty/tools/dotc/typer/index.html b/api/dotty/tools/dotc/typer/index.html index fbf0959e5..73375340f 100644 --- a/api/dotty/tools/dotc/typer/index.html +++ b/api/dotty/tools/dotc/typer/index.html @@ -909,6 +909,21 @@ + + + + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo$.html">O</a> + + <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">T</a> + </div> + <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/ParamInfo.html">ParamInfo</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -1112,16 +1127,6 @@ <li class="index-entity "> <div class="entity-kinds"> - <a class="letter-anchor trait" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">T</a> - </div> - <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TypeParamInfo.html">TypeParamInfo</a> - </li> - - - - <li class="index-entity "> - <div class="entity-kinds"> - <a class="letter-anchor class" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">C</a> </div> <a class="entity-name" href="../../../../.././api/dotty/tools/dotc/core/TyperState.html">TyperState</a> |