Update gh-pages site for 09cc23726069fa04cbfeec55a9fa4bb8e4a02ff9

1 files changed, 67 insertions, 62 deletions

diff --git a/api/dotty/tools/dotc/core/Constraint.html b/api/dotty/tools/dotc/core/Constraint.html
index 7a728a22d..1bb0e5de1 100644
--- a/api/dotty/tools/dotc/core/Constraint.html
+++ b/api/dotty/tools/dotc/core/Constraint.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>
@@ -5455,10 +5460,10 @@
         <p>Constraint over undetermined type parameters. Constraints are built
 over values of the following types:</p>
 <ul>
-<li>PolyType    A constraint constrains the type parameters of a set of PolyTypes</li>
-<li>PolyParam   The parameters of the constrained polytypes</li>
-<li>TypeVar     Every constrained parameter might be associated with a TypeVar
-that has the PolyParam as origin.</li>
+<li>TypeLambda    A constraint constrains the type parameters of a set of TypeLambdas</li>
+<li>TypeParamRef  The parameters of the constrained type lambdas</li>
+<li>TypeVar       Every constrained parameter might be associated with a TypeVar
+that has the TypeParamRef as origin.</li>
 </ul>
 
     </div>
@@ -5646,7 +5651,7 @@ that has the PolyParam as origin.</li>
                             <span class="no-left">
                                 poly:
                             </span>
-                            PolyType
+                            TypeLambda
                             
                                 <span class="no-left">, </span>
                             
@@ -5735,7 +5740,7 @@ entries for all type parameters of <code>poly</code>.</p>
                             <span class="no-left">
                                 p1:
                             </span>
-                            PolyParam
+                            TypeParamRef
                             
                                 <span class="no-left">, </span>
                             
@@ -5743,7 +5748,7 @@ entries for all type parameters of <code>poly</code>.</p>
                             <span class="">
                                 p2:
                             </span>
-                            PolyParam
+                            TypeParamRef
                             
                         
                     <span class="no-left">)</span>
@@ -5846,11 +5851,11 @@ non-parameter bounds are left alone.</p>
 
             <div class="member-body">
                 <div class="member-body-short" id="short-body-checkClosed()(ctx)">
-                    <p>Check that constraint only refers to PolyParams bound by itself</p>
+                    <p>Check that constraint only refers to TypeParamRefs bound by itself</p>
 
                 </div>
                 <div class="member-body-long" id ="long-body-checkClosed()(ctx)">
-                    <p>Check that constraint only refers to PolyParams bound by itself</p>
+                    <p>Check that constraint only refers to TypeParamRefs bound by itself</p>
 
                 </div>
             </div>
@@ -5963,7 +5968,7 @@ non-parameter bounds are left alone.</p>
                             <span class="no-left">
                                 pt:
                             </span>
-                            PolyType
+                            TypeLambda
                             
                         
                     <span class="no-left">)</span>
@@ -6026,7 +6031,7 @@ non-parameter bounds are left alone.</p>
                             <span class="no-left">
                                 param:
                             </span>
-                            PolyParam
+                            TypeParamRef
                             
                         
                     <span class="no-left">)</span>
@@ -6126,9 +6131,9 @@ non-parameter bounds are left alone.</p>
             </script>
         </div><!-- end member -->
         
-        <div id="domainParams" class="member ">
+        <div id="domainLambdas" class="member ">
             <div class="member-title">
-                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'domainParams');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'domainLambdas');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6140,7 +6145,7 @@ non-parameter bounds are left alone.</p>
                 </span>
                 <span class="member-name ">
                     
-                        domainParams
+                        domainLambdas
                     
                 </span>
 
@@ -6151,18 +6156,18 @@ non-parameter bounds are left alone.</p>
                 
                 <span class="no-left">: List
 <span class="no-left no-right">[</span>
-PolyParam
+TypeLambda
 <span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-domainParams">
-                    <p>The polytype parameters constrained by this constraint</p>
+                <div class="member-body-short" id="short-body-domainLambdas">
+                    <p>The type lambdas constrained by this constraint</p>
 
                 </div>
-                <div class="member-body-long" id ="long-body-domainParams">
-                    <p>The polytype parameters constrained by this constraint</p>
+                <div class="member-body-long" id ="long-body-domainLambdas">
+                    <p>The type lambdas constrained by this constraint</p>
 
                 </div>
             </div>
@@ -6179,9 +6184,9 @@ PolyParam
             </script>
         </div><!-- end member -->
         
-        <div id="domainPolys" class="member ">
+        <div id="domainParams" class="member ">
             <div class="member-title">
-                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'domainPolys');">[+]</span>
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'domainParams');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6193,7 +6198,7 @@ PolyParam
                 </span>
                 <span class="member-name ">
                     
-                        domainPolys
+                        domainParams
                     
                 </span>
 
@@ -6204,18 +6209,18 @@ PolyParam
                 
                 <span class="no-left">: List
 <span class="no-left no-right">[</span>
-PolyType
+TypeParamRef
 <span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-domainPolys">
-                    <p>The polytypes constrained by this constraint</p>
+                <div class="member-body-short" id="short-body-domainParams">
+                    <p>The type lambda parameters constrained by this constraint</p>
 
                 </div>
-                <div class="member-body-long" id ="long-body-domainPolys">
-                    <p>The polytypes constrained by this constraint</p>
+                <div class="member-body-long" id ="long-body-domainParams">
+                    <p>The type lambda parameters constrained by this constraint</p>
 
                 </div>
             </div>
@@ -6258,7 +6263,7 @@ PolyType
                             <span class="no-left">
                                 param:
                             </span>
-                            PolyParam
+                            TypeParamRef
                             
                         
                     <span class="no-left">)</span>
@@ -6323,7 +6328,7 @@ the constraint domain. Note: Low level, implementation dependent.</p>
                             <span class="no-left">
                                 param:
                             </span>
-                            PolyParam
+                            TypeParamRef
                             
                                 <span class="no-left">, </span>
                             
@@ -6331,7 +6336,7 @@ the constraint domain. Note: Low level, implementation dependent.</p>
                             <span class="">
                                 butNot:
                             </span>
-                            PolyParam
+                            TypeParamRef
                             
                         
                     <span class="no-left">)</span>
@@ -6343,7 +6348,7 @@ the constraint domain. Note: Low level, implementation dependent.</p>
                 
                 <span class="no-left">: List
 <span class="no-left no-right">[</span>
-PolyParam
+TypeParamRef
 <span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
@@ -6397,7 +6402,7 @@ PolyParam
                             <span class="no-left">
                                 param:
                             </span>
-                            PolyParam
+                            TypeParamRef
                             
                                 <span class="no-left">, </span>
                             
@@ -6405,7 +6410,7 @@ PolyParam
                             <span class="">
                                 butNot:
                             </span>
-                            PolyParam
+                            TypeParamRef
                             
                         
                     <span class="no-left">)</span>
@@ -6417,7 +6422,7 @@ PolyParam
                 
                 <span class="no-left">: List
 <span class="no-left no-right">[</span>
-PolyParam
+TypeParamRef
 <span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
@@ -6471,7 +6476,7 @@ PolyParam
                             <span class="no-left">
                                 p:
                             </span>
-                            PolyParam<span class="right-arrow"> =&gt; </span>Boolean
+                            TypeParamRef<span class="right-arrow"> =&gt; </span>Boolean
                             
                         
                     <span class="no-left">)</span>
@@ -6599,7 +6604,7 @@ typevars, depending on whether <code>uninstOnly</code> is set or not.</p>
                             <span class="no-left">
                                 param:
                             </span>
-                            PolyParam
+                            TypeParamRef
                             
                         
                     <span class="no-left">)</span>
@@ -6675,7 +6680,7 @@ typevars, depending on whether <code>uninstOnly</code> is set or not.</p>
                             <span class="no-left">
                                 param:
                             </span>
-                            PolyParam
+                            TypeParamRef
                             
                         
                     <span class="no-left">)</span>
@@ -6751,7 +6756,7 @@ typevars, depending on whether <code>uninstOnly</code> is set or not.</p>
                             <span class="no-left">
                                 param:
                             </span>
-                            PolyParam
+                            TypeParamRef
                             
                         
                     <span class="no-left">)</span>
@@ -6827,7 +6832,7 @@ typevars, depending on whether <code>uninstOnly</code> is set or not.</p>
                             <span class="no-left">
                                 param1:
                             </span>
-                            PolyParam
+                            TypeParamRef
                             
                                 <span class="no-left">, </span>
                             
@@ -6835,7 +6840,7 @@ typevars, depending on whether <code>uninstOnly</code> is set or not.</p>
                             <span class="">
                                 param2:
                             </span>
-                            PolyParam
+                            TypeParamRef
                             
                         
                     <span class="no-left">)</span>
@@ -6898,7 +6903,7 @@ typevars, depending on whether <code>uninstOnly</code> is set or not.</p>
                             <span class="no-left">
                                 pt:
                             </span>
-                            PolyType
+                            TypeLambda
                             
                         
                     <span class="no-left">)</span>
@@ -6965,7 +6970,7 @@ which have their <code>inst</code> fields set.</p>
                             <span class="no-left">
                                 param:
                             </span>
-                            PolyParam
+                            TypeParamRef
                             
                         
                     <span class="no-left">)</span>
@@ -6977,7 +6982,7 @@ which have their <code>inst</code> fields set.</p>
                 
                 <span class="no-left">: List
 <span class="no-left no-right">[</span>
-PolyParam
+TypeParamRef
 <span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
@@ -7031,7 +7036,7 @@ PolyParam
                             <span class="no-left">
                                 param:
                             </span>
-                            PolyParam
+                            TypeParamRef
                             
                         
                     <span class="no-left">)</span>
@@ -7098,7 +7103,7 @@ are not contained in the return bounds.</p>
                             <span class="no-left">
                                 pt:
                             </span>
-                            PolyType
+                            TypeLambda
                             
                         
                     <span class="no-left">)</span>
@@ -7174,7 +7179,7 @@ are not contained in the return bounds.</p>
                             <span class="no-left">
                                 param:
                             </span>
-                            PolyParam
+                            TypeParamRef
                             
                                 <span class="no-left">, </span>
                             
@@ -7265,7 +7270,7 @@ Occurrences nested inside a refinement or prefix are not affected.</p>
                             <span class="no-left">
                                 param:
                             </span>
-                            PolyParam
+                            TypeParamRef
                             
                         
                     <span class="no-left">)</span>
@@ -7330,7 +7335,7 @@ NoType, if <code>param</code> is not in constrained or is not paired with a type
                             <span class="no-left">
                                 p1:
                             </span>
-                            PolyParam
+                            TypeParamRef
                             
                                 <span class="no-left">, </span>
                             
@@ -7338,7 +7343,7 @@ NoType, if <code>param</code> is not in constrained or is not paired with a type
                             <span class="">
                                 p2:
                             </span>
-                            PolyParam
+                            TypeParamRef
                             
                         
                     <span class="no-left">)</span>
@@ -7469,7 +7474,7 @@ TypeVar
                             <span class="no-left">
                                 param:
                             </span>
-                            PolyParam
+                            TypeParamRef
                             
                                 <span class="no-left">, </span>
                             
@@ -7565,7 +7570,7 @@ the entry for parameter <code>param</code> to <code>tp</code>.
                             <span class="no-left">
                                 param:
                             </span>
-                            PolyParam
+                            TypeParamRef
                             
                         
                     <span class="no-left">)</span>
@@ -7577,7 +7582,7 @@ the entry for parameter <code>param</code> to <code>tp</code>.
                 
                 <span class="no-left">: List
 <span class="no-left no-right">[</span>
-PolyParam
+TypeParamRef
 <span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->