diff options
Diffstat (limited to 'api/dotty/tools/dotc/core/Types$/Type.html')
-rw-r--r-- | api/dotty/tools/dotc/core/Types$/Type.html | 644 |
1 files changed, 288 insertions, 356 deletions
diff --git a/api/dotty/tools/dotc/core/Types$/Type.html b/api/dotty/tools/dotc/core/Types$/Type.html index 41d8f879f..69c4afb03 100644 --- a/api/dotty/tools/dotc/core/Types$/Type.html +++ b/api/dotty/tools/dotc/core/Types$/Type.html @@ -118,6 +118,21 @@ </li> + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/FatalError$.html">O</a> + + <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/FatalError.html">C</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/FatalError.html">FatalError</a> + </li> + + + + + + <li class="index-entity "> <div class="entity-kinds"> @@ -1373,6 +1388,26 @@ + <li class="index-entity "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/unpickleScala2/PickleFormat$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/unpickleScala2/PickleFormat$.html">PickleFormat</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/core/unpickleScala2/Scala2Flags$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/core/unpickleScala2/Scala2Flags$.html">Scala2Flags</a> + </li> + + + <li class="index-entity with-companion "> <div class="entity-kinds"> @@ -2331,6 +2366,16 @@ <li class="index-entity "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/sbt/SafeLazyWrapper$.html">O</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/sbt/SafeLazyWrapper$.html">SafeLazyWrapper</a> + </li> + + + + <li class="index-entity "> + <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/sbt/ShowAPI$.html">O</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/sbt/ShowAPI$.html">ShowAPI</a> @@ -3403,9 +3448,14 @@ - <li class="index-entity "> + + + + <li class="index-entity with-companion "> <div class="entity-kinds"> + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dotc/typer/NamerContextOps$.html">O</a> + <a class="letter-anchor trait" href="../../../../../.././api/dotty/tools/dotc/typer/NamerContextOps.html">T</a> </div> <a class="entity-name" href="../../../../../.././api/dotty/tools/dotc/typer/NamerContextOps.html">NamerContextOps</a> @@ -3873,6 +3923,21 @@ + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dottydoc/core/Counters$.html">O</a> + + <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dottydoc/core/Counters.html">C</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dottydoc/core/Counters.html">Counters</a> + </li> + + + + + + <li class="index-entity "> <div class="entity-kinds"> @@ -3973,6 +4038,31 @@ + <li class="index-entity with-companion "> + <div class="entity-kinds"> + + <a class="letter-anchor object" href="../../../../../.././api/dotty/tools/dottydoc/core/Statistics$.html">O</a> + + <a class="letter-anchor case class" href="../../../../../.././api/dotty/tools/dottydoc/core/Statistics.html">C</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dottydoc/core/Statistics.html">Statistics</a> + </li> + + + + + + + <li class="index-entity "> + <div class="entity-kinds"> + + <a class="letter-anchor class" href="../../../../../.././api/dotty/tools/dottydoc/core/StatisticsPhase.html">C</a> + </div> + <a class="entity-name" href="../../../../../.././api/dotty/tools/dottydoc/core/StatisticsPhase.html">StatisticsPhase</a> + </li> + + + <li class="index-entity "> <div class="entity-kinds"> @@ -5460,7 +5550,7 @@ <div id="uniqId" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'uniqId');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'uniqId');">[+]</span> <span class="member-annotations"> </span> @@ -5508,7 +5598,7 @@ <div id="&(that)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, '&(that)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, '&(that)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -5582,7 +5672,7 @@ <div id="<:<(that)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, '<:<(that)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, '<:<(that)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -5658,7 +5748,7 @@ <div id="=:=(that)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, '=:=(that)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, '=:=(that)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -5736,7 +5826,7 @@ This is the case iff <code>this <:< that</code> and <code>that <:< t <div id="EtaExpand(tparams)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'EtaExpand(tparams)(ctx)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'EtaExpand(tparams)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -5825,7 +5915,7 @@ v1 is compatible with v2, if v1 = v2 or v2 is non-variant.</p> <div id="EtaExpandIfHK(bound)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'EtaExpandIfHK(bound)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'EtaExpandIfHK(bound)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -5901,7 +5991,7 @@ v1 is compatible with v2, if v1 = v2 or v2 is non-variant.</p> <div id="LambdaAbstract(tparams)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'LambdaAbstract(tparams)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'LambdaAbstract(tparams)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -5988,7 +6078,7 @@ type T[X] >: L <: U becomes type T >: L <: ([X] -> U) <div id="abstractTermMembers(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'abstractTermMembers(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'abstractTermMembers(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6056,7 +6146,7 @@ SingleDenotation <div id="abstractTypeMembers(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'abstractTypeMembers(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'abstractTypeMembers(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6124,7 +6214,7 @@ SingleDenotation <div id="adaptHkVariances(bound)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'adaptHkVariances(bound)(ctx)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'adaptHkVariances(bound)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6235,9 +6325,9 @@ is covariant is irrelevant, so can be ignored.</p> </script> </div><!-- end member --> - <div id="appliedTo(args)(ctx)" class="member "> + <div id="appliedTo(arg)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'appliedTo(args)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'appliedTo(arg)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6259,12 +6349,9 @@ is covariant is irrelevant, so can be ignored.</p> <span class="no-left"> - args: + arg: </span> - List -<span class="no-left no-right">[</span> -Type -<span class="no-left">]</span> + Type <span class="no-left">)</span> @@ -6292,17 +6379,11 @@ Type </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-appliedTo(args)(ctx)"> - <p>The type representing</p> -<p>T[U1, ..., Un]</p> -<p>where</p> - + <div class="member-body-short" id="short-body-appliedTo(arg)(ctx)"> + </div> - <div class="member-body-long" id ="long-body-appliedTo(args)(ctx)"> - <p>The type representing</p> -<p>T[U1, ..., Un]</p> -<p>where</p> - + <div class="member-body-long" id ="long-body-appliedTo(arg)(ctx)"> + </div> </div> <script> @@ -6318,9 +6399,9 @@ Type </script> </div><!-- end member --> - <div id="appliedTo(arg)(ctx)" class="member "> + <div id="appliedTo(args)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'appliedTo(arg)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'appliedTo(args)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6342,9 +6423,12 @@ Type <span class="no-left"> - arg: + args: </span> - Type + List +<span class="no-left no-right">[</span> +Type +<span class="no-left">]</span> <span class="no-left">)</span> @@ -6372,11 +6456,17 @@ Type </div><!-- end member-title --> <div class="member-body"> - <div class="member-body-short" id="short-body-appliedTo(arg)(ctx)"> - + <div class="member-body-short" id="short-body-appliedTo(args)(ctx)"> + <p>The type representing</p> +<p>T[U1, ..., Un]</p> +<p>where</p> + </div> - <div class="member-body-long" id ="long-body-appliedTo(arg)(ctx)"> - + <div class="member-body-long" id ="long-body-appliedTo(args)(ctx)"> + <p>The type representing</p> +<p>T[U1, ..., Un]</p> +<p>where</p> + </div> </div> <script> @@ -6394,7 +6484,7 @@ Type <div id="appliedTo(arg1,arg2)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'appliedTo(arg1,arg2)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'appliedTo(arg1,arg2)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6476,7 +6566,7 @@ Type <div id="applyIfParameterized(args)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'applyIfParameterized(args)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'applyIfParameterized(args)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6553,7 +6643,7 @@ Type <div id="argInfo(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'argInfo(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'argInfo(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6620,7 +6710,7 @@ otherwise NoType.</p> <div id="argInfos(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'argInfos(ctx)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'argInfos(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6692,7 +6782,7 @@ Existential types in arguments are returned as TypeBounds instances.</p> <div id="argTypes(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'argTypes(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'argTypes(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6760,7 +6850,7 @@ Type <div id="argTypesHi(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'argTypesHi(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'argTypesHi(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6828,7 +6918,7 @@ Type <div id="argTypesLo(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'argTypesLo(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'argTypesLo(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6896,7 +6986,7 @@ Type <div id="asSeenFrom(pre,cls)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'asSeenFrom(pre,cls)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'asSeenFrom(pre,cls)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -6982,7 +7072,7 @@ declared in class <code>cls</code>.</p> <div id="baseArgInfos(base)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'baseArgInfos(base)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'baseArgInfos(base)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -7063,7 +7153,7 @@ Existential types in arguments are returned as TypeBounds instances.</p> <div id="baseArgTypes(base)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'baseArgTypes(base)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'baseArgTypes(base)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -7144,7 +7234,7 @@ Existential types in arguments are disallowed.</p> <div id="baseArgTypesHi(base)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'baseArgTypesHi(base)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'baseArgTypesHi(base)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -7225,7 +7315,7 @@ Existential types in arguments are approximated by their upper bound.</p> <div id="baseArgTypesLo(base)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'baseArgTypesLo(base)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'baseArgTypesLo(base)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -7306,7 +7396,7 @@ Existential types in arguments are approximated by their lower bound.</p> <div id="baseClasses(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'baseClasses(ctx)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'baseClasses(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -7380,7 +7470,7 @@ Inherited by all type proxies. <code>Nil</code> for all other types.</p> <div id="baseTypeRef(base)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'baseTypeRef(base)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'baseTypeRef(base)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -7458,7 +7548,7 @@ but without including any type arguments</p> <div id="baseTypeWithArgs(base)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'baseTypeWithArgs(base)(ctx)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'baseTypeWithArgs(base)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -7540,7 +7630,7 @@ Existential types in arguments are returned as TypeBounds instances.</p> <div id="bounds(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'bounds(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'bounds(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -7605,7 +7695,7 @@ Existential types in arguments are returned as TypeBounds instances.</p> <div id="classSymbol(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'classSymbol(ctx)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'classSymbol(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -7674,7 +7764,7 @@ value type, or because superclasses are ambiguous).</p> <div id="classSymbols(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'classSymbols(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'classSymbols(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -7742,7 +7832,7 @@ ClassSymbol <div id="deAnonymize(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'deAnonymize(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'deAnonymize(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -7807,7 +7897,7 @@ ClassSymbol <div id="dealias(keepAnnots)(ctx)" class="member private"> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'dealias(keepAnnots)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'dealias(keepAnnots)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -7881,7 +7971,7 @@ ClassSymbol <div id="dealias(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'dealias(ctx)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'dealias(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -7950,7 +8040,7 @@ or instantiated type variable.</p> <div id="dealiasKeepAnnots(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'dealiasKeepAnnots(ctx)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'dealiasKeepAnnots(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -8019,7 +8109,7 @@ Goes through annotated types and rewraps annotations on the result.</p> <div id="decl(name)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'decl(name)(ctx)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'decl(name)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -8099,9 +8189,9 @@ The info(s) are the original symbol infos, no translation takes place.</p> <div id="decls(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'decls(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'decls(ctx)');">[+]</span> <span class="member-annotations"> - + @tailrec </span> <span class="member-modifiers"> final @@ -8168,7 +8258,7 @@ Empty scope for all other types.</p> <div id="deconst(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'deconst(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'deconst(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -8235,7 +8325,7 @@ base type.</p> <div id="deepenProto(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'deepenProto(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'deepenProto(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -8302,7 +8392,7 @@ layer of it. Otherwise the type itself.</p> <div id="derivesFrom(cls)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'derivesFrom(cls)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'derivesFrom(cls)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -8378,7 +8468,7 @@ layer of it. Otherwise the type itself.</p> <div id="dropAlias(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'dropAlias(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'dropAlias(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -8443,7 +8533,7 @@ layer of it. Otherwise the type itself.</p> <div id="elemType(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'elemType(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'elemType(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -8508,7 +8598,7 @@ layer of it. Otherwise the type itself.</p> <div id="ensureHK(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'ensureHK(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'ensureHK(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -8573,7 +8663,7 @@ layer of it. Otherwise the type itself.</p> <div id="ensureMethodic(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'ensureMethodic(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'ensureMethodic(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -8636,7 +8726,7 @@ layer of it. Otherwise the type itself.</p> <div id="exists" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'exists');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'exists');">[+]</span> <span class="member-annotations"> </span> @@ -8686,7 +8776,7 @@ layer of it. Otherwise the type itself.</p> <div id="existsPart(p,forceLazy)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'existsPart(p,forceLazy)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'existsPart(p,forceLazy)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -8770,7 +8860,7 @@ layer of it. Otherwise the type itself.</p> <div id="existsPart$default$2" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'existsPart$default$2');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'existsPart$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -8820,7 +8910,7 @@ layer of it. Otherwise the type itself.</p> <div id="fields(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'fields(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'fields(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -8886,7 +8976,7 @@ SingleDenotation <div id="finalResultType(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'finalResultType(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'finalResultType(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -8953,9 +9043,9 @@ all parameter sections, the type itself for all others.</p> <div id="findDecl(name,excluded)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'findDecl(name,excluded)(ctx)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'findDecl(name,excluded)(ctx)');">[+]</span> <span class="member-annotations"> - + @tailrec </span> <span class="member-modifiers"> final @@ -9041,7 +9131,7 @@ in <code>excluded</code> are omitted.</p> <div id="findMember(name,pre,excluded)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'findMember(name,pre,excluded)(ctx)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'findMember(name,pre,excluded)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -9139,9 +9229,9 @@ flags in <code>excluded</code> from consideration.</p> <div id="firstParamTypes(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'firstParamTypes(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'firstParamTypes(ctx)');">[+]</span> <span class="member-annotations"> - + @tailrec </span> <span class="member-modifiers"> final @@ -9207,7 +9297,7 @@ Type <div id="firstParent(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'firstParent(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'firstParent(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -9272,7 +9362,7 @@ Type <div id="forallParts(p)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'forallParts(p)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'forallParts(p)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -9348,7 +9438,7 @@ Type <div id="foreachPart(p,stopAtStatic)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'foreachPart(p,stopAtStatic)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'foreachPart(p,stopAtStatic)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -9432,7 +9522,7 @@ Type <div id="foreachPart$default$2" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'foreachPart$default$2');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'foreachPart$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -9482,7 +9572,7 @@ Type <div id="frozen_<:<(that)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'frozen_<:<(that)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'frozen_<:<(that)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -9558,7 +9648,7 @@ Type <div id="givenSelfType(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'givenSelfType(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'givenSelfType(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -9623,9 +9713,9 @@ Type <div id="hasAnnotation(cls)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'hasAnnotation(cls)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'hasAnnotation(cls)(ctx)');">[+]</span> <span class="member-annotations"> - + @tailrec </span> <span class="member-modifiers"> final @@ -9699,7 +9789,7 @@ Type <div id="hasUnsafeNonvariant(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'hasUnsafeNonvariant(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'hasUnsafeNonvariant(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -9764,7 +9854,7 @@ Type <div id="hash" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'hash');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'hash');">[+]</span> <span class="member-annotations"> </span> @@ -9818,7 +9908,7 @@ compute hash and use it as the type's hashCode.</p> <div id="hkTypeParams(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'hkTypeParams(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'hkTypeParams(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -9886,7 +9976,7 @@ TypeParamInfo <div id="implicitMembers(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'implicitMembers(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'implicitMembers(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -9954,7 +10044,7 @@ TermRef <div id="isAlias" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'isAlias');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'isAlias');">[+]</span> <span class="member-annotations"> </span> @@ -10004,7 +10094,7 @@ TermRef <div id="isDirectRef(sym)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'isDirectRef(sym)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'isDirectRef(sym)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -10080,7 +10170,7 @@ TermRef <div id="isErasedValueType(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'isErasedValueType(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'isErasedValueType(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -10143,7 +10233,7 @@ TermRef <div id="isErroneous(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'isErroneous(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'isErroneous(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -10208,7 +10298,7 @@ TermRef <div id="isError(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'isError(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'isError(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -10273,7 +10363,7 @@ TermRef <div id="isHK(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'isHK(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'isHK(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -10338,7 +10428,7 @@ TermRef <div id="isNotNull(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'isNotNull(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'isNotNull(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -10407,7 +10497,7 @@ be refined later.</p> <div id="isNullaryMethod(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'isNullaryMethod(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'isNullaryMethod(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -10472,9 +10562,9 @@ be refined later.</p> <div id="isParameterless(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'isParameterless(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'isParameterless(ctx)');">[+]</span> <span class="member-annotations"> - + @tailrec </span> <span class="member-modifiers"> final @@ -10537,7 +10627,7 @@ be refined later.</p> <div id="isPrimitiveValueType(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'isPrimitiveValueType(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'isPrimitiveValueType(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -10600,7 +10690,7 @@ be refined later.</p> <div id="isRef(sym)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'isRef(sym)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'isRef(sym)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -10678,7 +10768,7 @@ to the given type symbol?</p> <div id="isRepeatedParam(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'isRepeatedParam(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'isRepeatedParam(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -10743,9 +10833,9 @@ to the given type symbol?</p> <div id="isStable(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'isStable(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'isStable(ctx)');">[+]</span> <span class="member-annotations"> - + @tailrec </span> <span class="member-modifiers"> final @@ -10808,7 +10898,7 @@ to the given type symbol?</p> <div id="isTightPrefix(sym)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'isTightPrefix(sym)(ctx)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'isTightPrefix(sym)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -10886,7 +10976,7 @@ Implemented like <code>isRef</code>, but follows more types: all type proxies as <div id="isUnsafeNonvariant(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'isUnsafeNonvariant(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'isUnsafeNonvariant(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -10951,7 +11041,7 @@ Implemented like <code>isRef</code>, but follows more types: all type proxies as <div id="isValueSubType(that)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'isValueSubType(that)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'isValueSubType(that)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -11027,7 +11117,7 @@ Implemented like <code>isRef</code>, but follows more types: all type proxies as <div id="isValueType" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'isValueType');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'isValueType');">[+]</span> <span class="member-annotations"> </span> @@ -11077,7 +11167,7 @@ Implemented like <code>isRef</code>, but follows more types: all type proxies as <div id="isValueTypeOrLambda" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'isValueTypeOrLambda');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'isValueTypeOrLambda');">[+]</span> <span class="member-annotations"> </span> @@ -11127,7 +11217,7 @@ Implemented like <code>isRef</code>, but follows more types: all type proxies as <div id="isVarArgsMethod(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'isVarArgsMethod(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'isVarArgsMethod(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -11194,7 +11284,7 @@ last parameter type?</p> <div id="lookupRefined(name)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'lookupRefined(name)(ctx)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'lookupRefined(name)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -11288,7 +11378,7 @@ a reference to the "this" of the current refined type, except in the f <div id="mapReduceAnd(f)(g)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'mapReduceAnd(f)(g)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'mapReduceAnd(f)(g)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -11375,7 +11465,7 @@ a reference to the "this" of the current refined type, except in the f <div id="mapReduceOr(f)(g)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'mapReduceOr(f)(g)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'mapReduceOr(f)(g)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -11462,7 +11552,7 @@ a reference to the "this" of the current refined type, except in the f <div id="matches(that)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'matches(that)(ctx)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'matches(that)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -11557,7 +11647,7 @@ parameter types.</p> <div id="matchesLoosely(that)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'matchesLoosely(that)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'matchesLoosely(that)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -11635,7 +11725,7 @@ vice versa.</p> <div id="member(name)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'member(name)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'member(name)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -11711,7 +11801,7 @@ vice versa.</p> <div id="memberClasses(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'memberClasses(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'memberClasses(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -11779,7 +11869,7 @@ SingleDenotation <div id="memberDenots(keepOnly,f)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'memberDenots(keepOnly,f)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'memberDenots(keepOnly,f)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -11867,7 +11957,7 @@ SingleDenotation <div id="memberExcluding(name,excluding)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'memberExcluding(name,excluding)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'memberExcluding(name,excluding)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -11949,7 +12039,7 @@ SingleDenotation <div id="memberInfo(sym)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'memberInfo(sym)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'memberInfo(sym)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -12025,7 +12115,7 @@ SingleDenotation <div id="memberNames(keepOnly,pre)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'memberNames(keepOnly,pre)(ctx)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'memberNames(keepOnly,pre)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -12116,7 +12206,7 @@ of members <code>name</code> such that <code>keepOnly(pre, name)</code> is <code <div id="memberNames$default$2" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'memberNames$default$2');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'memberNames$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -12170,7 +12260,7 @@ of members <code>name</code> such that <code>keepOnly(pre, name)</code> is <code <div id="membersBasedOnFlags(requiredFlags,excludedFlags)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'membersBasedOnFlags(requiredFlags,excludedFlags)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'membersBasedOnFlags(requiredFlags,excludedFlags)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -12257,7 +12347,7 @@ SingleDenotation <div id="namedParts(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'namedParts(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'namedParts(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -12325,7 +12415,7 @@ NamedType <div id="namedPartsWith(p,excludeLowerBounds)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'namedPartsWith(p,excludeLowerBounds)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'namedPartsWith(p,excludeLowerBounds)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -12414,7 +12504,7 @@ satisfy predicate <code>p</code>.</p> <div id="namedPartsWith$default$2" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'namedPartsWith$default$2');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'namedPartsWith$default$2');">[+]</span> <span class="member-annotations"> </span> @@ -12464,81 +12554,9 @@ satisfy predicate <code>p</code>.</p> </script> </div><!-- end member --> - <div id="namedTypeParams(ctx)" class="member "> - <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'namedTypeParams(ctx)');">[+]</span> - <span class="member-annotations"> - - </span> - <span class="member-modifiers"> - - </span> - <span class="member-kind"> - def - </span> - <span class="member-name "> - - namedTypeParams - - </span> - - - - <span class="no-left">(</span> - - <span class="no-left keyword">implicit</span> - - - <span class="no-left"> - ctx: - </span> - Context - - - <span class="no-left">)</span> - - - - - - - <span class="no-left">: Set -<span class="no-left no-right">[</span> -TypeSymbol -<span class="no-left">]</span></span> - - </div><!-- end member-title --> - - <div class="member-body"> - <div class="member-body-short" id="short-body-namedTypeParams(ctx)"> - <p>The named type parameters declared or inherited by this type. -These are all uninstantiated named type parameters of this type or one -of its base types.</p> - - </div> - <div class="member-body-long" id ="long-body-namedTypeParams(ctx)"> - <p>The named type parameters declared or inherited by this type. -These are all uninstantiated named type parameters of this type or one -of its base types.</p> - - </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="narrow(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'narrow(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'narrow(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -12605,7 +12623,7 @@ that has the given type as info.</p> <div id="nonClassTypeMembers(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'nonClassTypeMembers(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'nonClassTypeMembers(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -12673,7 +12691,7 @@ SingleDenotation <div id="nonPrivateDecl(name)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'nonPrivateDecl(name)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'nonPrivateDecl(name)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -12749,7 +12767,7 @@ SingleDenotation <div id="nonPrivateMember(name)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'nonPrivateMember(name)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'nonPrivateMember(name)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -12825,9 +12843,9 @@ SingleDenotation <div id="normalizedPrefix(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'normalizedPrefix(ctx)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'normalizedPrefix(ctx)');">[+]</span> <span class="member-annotations"> - + @tailrec </span> <span class="member-modifiers"> final @@ -12898,7 +12916,7 @@ Inherited by all other type proxies. <div id="notApplied" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'notApplied');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'notApplied');">[+]</span> <span class="member-annotations"> </span> @@ -12948,7 +12966,7 @@ Inherited by all other type proxies. <div id="occursIn(that)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'occursIn(that)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'occursIn(that)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -13024,7 +13042,7 @@ Inherited by all other type proxies. <div id="orElse(that)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'orElse(that)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'orElse(that)');">[+]</span> <span class="member-annotations"> </span> @@ -13087,7 +13105,7 @@ Inherited by all other type proxies. <div id="overrides(that)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'overrides(that)(ctx)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'overrides(that)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -13142,15 +13160,15 @@ Inherited by all other type proxies. <div class="member-body-short" id="short-body-overrides(that)(ctx)"> <p>Is this type a legal type for a member that overrides another member of type <code>that</code>? This is the same as <code><:<</code>, except that -the types ()T and => T are ident... +the types <code>()T</code>, <code>=> T</code> and <code>T</code> are se... </p> </div> <div class="member-body-long" id ="long-body-overrides(that)(ctx)"> <p>Is this type a legal type for a member that overrides another member of type <code>that</code>? This is the same as <code><:<</code>, except that -the types ()T and => T are identified, and T is seen as overriding -either type.</p> +the types <code>()T</code>, <code>=> T</code> and <code>T</code> are seen as overriding +each other.</p> </div> </div> @@ -13169,7 +13187,7 @@ either type.</p> <div id="paramNamess(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'paramNamess(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'paramNamess(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -13240,7 +13258,7 @@ TermName <div id="paramTypess(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'paramTypess(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'paramTypess(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -13311,7 +13329,7 @@ Type <div id="parents(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'parents(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'parents(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -13383,7 +13401,7 @@ Overwritten in ClassInfo, where parents is cached.</p> <div id="parentsWithArgs(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'parentsWithArgs(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'parentsWithArgs(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -13451,7 +13469,7 @@ Type <div id="relaxed_<:<(that)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'relaxed_<:<(that)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'relaxed_<:<(that)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -13525,7 +13543,7 @@ Type <div id="resultType(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'resultType(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'resultType(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -13590,7 +13608,7 @@ Type <div id="safeAppliedTo(args)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'safeAppliedTo(args)(ctx)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'safeAppliedTo(args)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -13674,7 +13692,7 @@ Scala2 files such as <code>scala.collection.generic.Mapfactory</code>.</p> <div id="safeDealias(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'safeDealias(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'safeDealias(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -13739,7 +13757,7 @@ Scala2 files such as <code>scala.collection.generic.Mapfactory</code>.</p> <div id="safe_&(that)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'safe_&(that)(ctx)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'safe_&(that)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -13823,7 +13841,7 @@ but because of F-bounded types, this can result in an infinite loop <div id="select(name)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'select(name)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'select(name)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -13899,7 +13917,7 @@ but because of F-bounded types, this can result in an infinite loop <div id="select(name,denot)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'select(name,denot)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'select(name,denot)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -13983,7 +14001,7 @@ but because of F-bounded types, this can result in an infinite loop <div id="select(sym)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'select(sym)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'select(sym)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -14059,7 +14077,7 @@ but because of F-bounded types, this can result in an infinite loop <div id="showWithUnderlying(n)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'showWithUnderlying(n)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'showWithUnderlying(n)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -14137,7 +14155,7 @@ with the proxy type itself.</p> <div id="showWithUnderlying$default$1" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'showWithUnderlying$default$1');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'showWithUnderlying$default$1');">[+]</span> <span class="member-annotations"> </span> @@ -14189,7 +14207,7 @@ with the proxy type itself.</p> <div id="signature(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'signature(ctx)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'signature(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -14261,7 +14279,7 @@ is improved using an OO scheme).</p> <div id="simplified(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'simplified(ctx)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'simplified(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -14335,7 +14353,7 @@ maps poly params in the current constraint set back to their type vars.</p> <div id="stripAnnots(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'stripAnnots(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'stripAnnots(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -14400,7 +14418,7 @@ maps poly params in the current constraint set back to their type vars.</p> <div id="stripTypeVar(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'stripTypeVar(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'stripTypeVar(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -14467,7 +14485,7 @@ if not, until the result is no longer a TypeVar. Identity on all other types.</p <div id="subst(from,to)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'subst(from,to)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'subst(from,to)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -14559,7 +14577,7 @@ one of the symbols in <code>from</code> by the corresponding types in <code>to</ <div id="subst(from,to)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'subst(from,to)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'subst(from,to)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -14645,7 +14663,7 @@ one of the symbols in <code>from</code> by the corresponding types in <code>to</ <div id="substDealias(from,to)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'substDealias(from,to)(ctx)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'substDealias(from,to)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -14743,7 +14761,7 @@ the type parameters.</p> <div id="substParam(from,to)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'substParam(from,to)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'substParam(from,to)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -14827,7 +14845,7 @@ the type parameters.</p> <div id="substParams(from,to)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'substParams(from,to)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'substParams(from,to)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -14914,7 +14932,7 @@ Type <div id="substRecThis(binder,tp)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'substRecThis(binder,tp)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'substRecThis(binder,tp)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -14998,7 +15016,7 @@ Type <div id="substSym(from,to)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'substSym(from,to)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'substSym(from,to)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -15088,7 +15106,7 @@ Symbol <div id="substThis(cls,tp)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'substThis(cls,tp)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'substThis(cls,tp)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -15172,7 +15190,7 @@ Symbol <div id="substThisUnlessStatic(cls,tp)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'substThisUnlessStatic(cls,tp)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'substThisUnlessStatic(cls,tp)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -15256,9 +15274,9 @@ Symbol <div id="termSymbol(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'termSymbol(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'termSymbol(ctx)');">[+]</span> <span class="member-annotations"> - + @tailrec </span> <span class="member-modifiers"> final @@ -15321,7 +15339,7 @@ Symbol <div id="toBounds(tparam)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'toBounds(tparam)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toBounds(tparam)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -15399,7 +15417,7 @@ type parameter <code>tparam</code>, into a TypeBounds RHS</p> <div id="toFunctionType(dropLast)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'toFunctionType(dropLast)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toFunctionType(dropLast)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -15475,7 +15493,7 @@ type parameter <code>tparam</code>, into a TypeBounds RHS</p> <div id="toFunctionType$default$1" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'toFunctionType$default$1');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toFunctionType$default$1');">[+]</span> <span class="member-annotations"> </span> @@ -15525,7 +15543,7 @@ type parameter <code>tparam</code>, into a TypeBounds RHS</p> <div id="toText(printer)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'toText(printer)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'toText(printer)');">[+]</span> <span class="member-annotations"> </span> @@ -15588,7 +15606,7 @@ type parameter <code>tparam</code>, into a TypeBounds RHS</p> <div id="translateParameterized(from,to)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'translateParameterized(from,to)(ctx)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'translateParameterized(from,to)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -15676,7 +15694,7 @@ Do the same for by name types => From[T] and => To[T]</p> <div id="typeMembers(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'typeMembers(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'typeMembers(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -15744,7 +15762,7 @@ SingleDenotation <div id="typeParamNamed(name)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'typeParamNamed(name)(ctx)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'typeParamNamed(name)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -15824,7 +15842,7 @@ no symbol it tries <code>member</code> as an alternative.</p> <div id="typeParamSymbols(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'typeParamSymbols(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'typeParamSymbols(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -15892,7 +15910,7 @@ TypeSymbol <div id="typeParams(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'typeParams(ctx)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'typeParams(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -15974,9 +15992,9 @@ types get introduced, and see <code>isBoundedLambda</code> below for the test.</ <div id="typeSymbol(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'typeSymbol(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'typeSymbol(ctx)');">[+]</span> <span class="member-annotations"> - + @tailrec </span> <span class="member-modifiers"> final @@ -16039,7 +16057,7 @@ types get introduced, and see <code>isBoundedLambda</code> below for the test.</ <div id="underlyingClassRef(refinementOK)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'underlyingClassRef(refinementOK)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'underlyingClassRef(refinementOK)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -16117,7 +16135,7 @@ a class, the class type ref, otherwise NoType.</p> <div id="underlyingIfProxy(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'underlyingIfProxy(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'underlyingIfProxy(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -16184,7 +16202,7 @@ otherwise NoType</p> <div id="underlyingIfRepeated(isJava)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'underlyingIfRepeated(isJava)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'underlyingIfRepeated(isJava)(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -16262,7 +16280,7 @@ or, if isJava is true, Array type, else the type itself.</p> <div id="underlyingIterator(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'underlyingIterator(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'underlyingIterator(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -16332,9 +16350,9 @@ Useful for diagnostics</p> <div id="widen(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'widen(ctx)');">[+]</span> + <span class="expand-button " onclick="toggleMemberBody(this, 'widen(ctx)');">[+]</span> <span class="member-annotations"> - + @tailrec </span> <span class="member-modifiers"> final @@ -16408,9 +16426,9 @@ def o: Outer <div id="widenDealias(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'widenDealias(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'widenDealias(ctx)');">[+]</span> <span class="member-annotations"> - + @tailrec </span> <span class="member-modifiers"> final @@ -16473,7 +16491,7 @@ def o: Outer <div id="widenExpr" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'widenExpr');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'widenExpr');">[+]</span> <span class="member-annotations"> </span> @@ -16525,9 +16543,9 @@ def o: Outer <div id="widenIfUnstable(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'widenIfUnstable(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'widenIfUnstable(ctx)');">[+]</span> <span class="member-annotations"> - + @tailrec </span> <span class="member-modifiers"> final @@ -16590,9 +16608,9 @@ def o: Outer <div id="widenSingleton(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'widenSingleton(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'widenSingleton(ctx)');">[+]</span> <span class="member-annotations"> - + @tailrec </span> <span class="member-modifiers"> final @@ -16657,7 +16675,7 @@ base type by applying one or more <code>underlying</code> dereferences.</p> <div id="widenSkolem(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'widenSkolem(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'widenSkolem(ctx)');">[+]</span> <span class="member-annotations"> </span> @@ -16722,9 +16740,9 @@ base type by applying one or more <code>underlying</code> dereferences.</p> <div id="widenTermRefExpr(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'widenTermRefExpr(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'widenTermRefExpr(ctx)');">[+]</span> <span class="member-annotations"> - + @tailrec </span> <span class="member-modifiers"> final @@ -16787,95 +16805,9 @@ base type, while also skipping Expr types.</p> </script> </div><!-- end member --> - <div id="widenToNamedTypeParams(params)(ctx)" class="member "> - <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'widenToNamedTypeParams(params)(ctx)');">[+]</span> - <span class="member-annotations"> - - </span> - <span class="member-modifiers"> - - </span> - <span class="member-kind"> - def - </span> - <span class="member-name "> - - widenToNamedTypeParams - - </span> - - - - <span class="no-left">(</span> - - - <span class="no-left"> - params: - </span> - Set -<span class="no-left no-right">[</span> -TypeSymbol -<span class="no-left">]</span> - - - <span class="no-left">)</span> - - <span class="no-left">(</span> - - <span class="no-left keyword">implicit</span> - - - <span class="no-left"> - ctx: - </span> - Context - - - <span class="no-left">)</span> - - - - - - - <span class="no-left">: Type</span> - - </div><!-- end member-title --> - - <div class="member-body"> - <div class="member-body-short" id="short-body-widenToNamedTypeParams(params)(ctx)"> - <p>The smallest supertype of this type that instantiated none of the named type parameters -in <code>params</code>. That is, for each named type parameter <code>p</code> in <code>params</code>,... -</p> - - </div> - <div class="member-body-long" id ="long-body-widenToNamedTypeParams(params)(ctx)"> - <p>The smallest supertype of this type that instantiated none of the named type parameters -in <code>params</code>. That is, for each named type parameter <code>p</code> in <code>params</code>, either there is -no type field named <code>p</code> in this type, or <code>p</code> is a named type parameter of this type. -The first case is important for the recursive case of AndTypes, because some of their operands might -be missing the named parameter altogether, but the AndType as a whole can still -contain it.</p> - - </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="withoutArgs(typeArgs)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, 'withoutArgs(typeArgs)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, 'withoutArgs(typeArgs)');">[+]</span> <span class="member-annotations"> </span> @@ -16941,7 +16873,7 @@ Type <div id="|(that)(ctx)" class="member "> <div class="member-title"> - <span class="expand-button" onclick="toggleMemberBody(this, '|(that)(ctx)');">[+]</span> + <span class="expand-button invisible" onclick="toggleMemberBody(this, '|(that)(ctx)');">[+]</span> <span class="member-annotations"> </span> |