Update gh-pages site for da7d7231b7f21fe1085abc569eb783590074a359

1 files changed, 325 insertions, 19 deletions

diff --git a/api/dotty/tools/dotc/typer/ErrorReporting$/Errors.html b/api/dotty/tools/dotc/typer/ErrorReporting$/Errors.html
index d62ee12ef..7e0c6e393 100644
--- a/api/dotty/tools/dotc/typer/ErrorReporting$/Errors.html
+++ b/api/dotty/tools/dotc/typer/ErrorReporting$/Errors.html
@@ -5321,6 +5321,9 @@
 
 <div id="entity-container">
     <div id="entity-title">
+        <span id="entity-annotations">
+            
+        </span>
         <span id="entity-modifiers">
             
         </span>
@@ -5330,16 +5333,59 @@
         <span id="entity-name">
             Errors
         </span>
+        
+        
     </div>
 
     
 
-    <h1 class="section ">Members</h1>
+    <h1 class="section ">
+        Constructors
+    </h1>
+
+    <div id="entity-constructors" class="entity-section ">
+        
+            
+            <div class="member">
+                <div class="member-title">
+                    <span class="member-name">Errors</span>
+                    <span class="no-left">(</span>
+                        
+                        
+                    <span class="no-left">)</span>
+                </div>
+            </div>
+            
+            <div class="member">
+                <div class="member-title">
+                    <span class="member-name">Errors</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>
+                </div>
+            </div>
+            
+        
+    </div>
+
+    <h1 class="section ">
+        Members
+    </h1>
 
     <div id="entity-members" class="entity-section ">
         
         <div id="ctx" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'ctx');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5360,17 +5406,34 @@
                 
 
                 
-                <span class="no-left">: Context</span>
+                <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/core/Contexts$/Context.html">Context</a></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-ctx">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-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="abstractVarMessage(sym)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'abstractVarMessage(sym)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5409,14 +5472,33 @@
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>An explanatory note to be added to error messages
+                <div class="member-body-short" id="short-body-abstractVarMessage(sym)">
+                    <p>An explanatory note to be added to error messages
 when there's a problem with abstract var defs</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-abstractVarMessage(sym)">
+                    <p>An explanatory note to be added to error messages
+when there's a problem with abstract var defs</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="anonymousTypeMemberStr(tpe)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'anonymousTypeMemberStr(tpe)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5455,12 +5537,29 @@ when there's a problem with abstract var defs</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-anonymousTypeMemberStr(tpe)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-anonymousTypeMemberStr(tpe)">
+                    
+                </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="denotStr(denot)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'denotStr(denot)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5499,12 +5598,29 @@ when there's a problem with abstract var defs</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-denotStr(denot)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-denotStr(denot)">
+                    
+                </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="expectedTypeStr(tp)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'expectedTypeStr(tp)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5543,12 +5659,29 @@ when there's a problem with abstract var defs</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-expectedTypeStr(tp)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-expectedTypeStr(tp)">
+                    
+                </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="exprStr(tree)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'exprStr(tree)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5587,12 +5720,29 @@ when there's a problem with abstract var defs</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-exprStr(tree)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-exprStr(tree)">
+                    
+                </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="implicitNotFoundString(raw,paramNames,args)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'implicitNotFoundString(raw,paramNames,args)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5653,15 +5803,35 @@ String
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Format <code>raw</code> implicitNotFound argument, replacing all
+                <div class="member-body-short" id="short-body-implicitNotFoundString(raw,paramNames,args)">
+                    <p>Format <code>raw</code> implicitNotFound argument, replacing all
 occurrences of <code>${X}</code> where <code>X</code> is in <code>paramNames</code> with the
 corresponding shown type in <code>args</code>.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-implicitNotFoundString(raw,paramNames,args)">
+                    <p>Format <code>raw</code> implicitNotFound argument, replacing all
+occurrences of <code>${X}</code> where <code>X</code> is in <code>paramNames</code> with the
+corresponding shown type in <code>args</code>.</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="overloadedAltsStr(alts)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'overloadedAltsStr(alts)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5703,12 +5873,29 @@ corresponding shown type in <code>args</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-overloadedAltsStr(alts)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-overloadedAltsStr(alts)">
+                    
+                </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="patternConstrStr(tree)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'patternConstrStr(tree)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5747,12 +5934,29 @@ corresponding shown type in <code>args</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-patternConstrStr(tree)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-patternConstrStr(tree)">
+                    
+                </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="refStr(tp)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'refStr(tp)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5791,12 +5995,29 @@ corresponding shown type in <code>args</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-refStr(tp)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-refStr(tp)">
+                    
+                </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="typeMismatch(tree,pt,implicitFailure)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'typeMismatch(tree,pt,implicitFailure)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5846,17 +6067,34 @@ corresponding shown type in <code>args</code>.</p>
                 
 
                 
-                <span class="no-left">: Tree</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-typeMismatch(tree,pt,implicitFailure)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-typeMismatch(tree,pt,implicitFailure)">
+                    
+                </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="typeMismatch$default$3" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'typeMismatch$default$3');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5882,12 +6120,29 @@ corresponding shown type in <code>args</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-typeMismatch$default$3">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-typeMismatch$default$3">
+                    
+                </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="typeMismatchMsg(found,expected,postScript)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'typeMismatchMsg(found,expected,postScript)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5937,17 +6192,34 @@ corresponding shown type in <code>args</code>.</p>
                 
 
                 
-                <span class="no-left">: TypeMismatch</span>
+                <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/reporting/diagnostic/messages$/TypeMismatch.html">TypeMismatch</a></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-typeMismatchMsg(found,expected,postScript)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-typeMismatchMsg(found,expected,postScript)">
+                    
+                </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="typeMismatchMsg$default$3" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'typeMismatchMsg$default$3');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5973,12 +6245,29 @@ corresponding shown type in <code>args</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-typeMismatchMsg$default$3">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-typeMismatchMsg$default$3">
+                    
+                </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="whyNoMatchStr(found,expected)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'whyNoMatchStr(found,expected)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6025,9 +6314,26 @@ corresponding shown type in <code>args</code>.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>A subtype log explaining why <code>found</code> does not conform to <code>expected</code></p>
+                <div class="member-body-short" id="short-body-whyNoMatchStr(found,expected)">
+                    <p>A subtype log explaining why <code>found</code> does not conform to <code>expected</code></p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-whyNoMatchStr(found,expected)">
+                    <p>A subtype log explaining why <code>found</code> does not conform to <code>expected</code></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>