Update gh-pages site for b77c24cde0caa59472108a068b4d802606ad5d1b

14 files changed, 653 insertions, 283 deletions

diff --git a/api/dotty/tools/dotc/core/Contexts$/Context.html b/api/dotty/tools/dotc/core/Contexts$/Context.html
index 9ab47b872..12edd5329 100644
--- a/api/dotty/tools/dotc/core/Contexts$/Context.html
+++ b/api/dotty/tools/dotc/core/Contexts$/Context.html
@@ -5442,7 +5442,7 @@ classes (which should be short-lived).</li>
                         
                         
                             <span class="no-left">
-                                ctx:
+                                c:
                             </span>
                             Context
                             
@@ -5459,6 +5459,12 @@ classes (which should be short-lived).</li>
                     <span class="no-left">(</span>
                         
                         
+                            <span class="no-left">
+                                c:
+                            </span>
+                            Context
+                            
+                        
                     <span class="no-left">)</span>
                 </div>
             </div>
@@ -5471,12 +5477,6 @@ classes (which should be short-lived).</li>
                     <span class="no-left">(</span>
                         
                         
-                            <span class="no-left">
-                                ctx:
-                            </span>
-                            Context
-                            
-                        
                     <span class="no-left">)</span>
                 </div>
             </div>
@@ -5489,6 +5489,12 @@ classes (which should be short-lived).</li>
                     <span class="no-left">(</span>
                         
                         
+                            <span class="no-left">
+                                ctx:
+                            </span>
+                            Context
+                            
+                        
                     <span class="no-left">)</span>
                 </div>
             </div>
@@ -5502,7 +5508,7 @@ classes (which should be short-lived).</li>
                         
                         
                             <span class="no-left">
-                                c:
+                                ctx:
                             </span>
                             Context
                             
@@ -5519,12 +5525,6 @@ classes (which should be short-lived).</li>
                     <span class="no-left">(</span>
                         
                         
-                            <span class="no-left">
-                                c:
-                            </span>
-                            Context
-                            
-                        
                     <span class="no-left">)</span>
                 </div>
             </div>
@@ -12672,9 +12672,9 @@ Any
             </script>
         </div><!-- end member -->
         
-        <div id="nameString(sym)" class="member ">
+        <div id="nameString(name)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'nameString(sym)');">[+]</span>
+                <span class="expand-button" onclick="toggleMemberBody(this, 'nameString(name)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -12696,9 +12696,9 @@ Any
                         
                         
                             <span class="no-left">
-                                sym:
+                                name:
                             </span>
-                            Symbol
+                            Name
                             
                         
                     <span class="no-left">)</span>
@@ -12713,20 +12713,14 @@ Any
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-nameString(sym)">
-                    <p>The name of the given symbol.
-If !settings.debug, the original name where
-expansions of operators are translated back to operator symbol.
-E.g. $eq =&gt; =.
-I...</p>
+                <div class="member-body-short" id="short-body-nameString(name)">
+                    <p>The name, possibley with with namespace suffix if debugNames is set:
+/L for local names, /V for other term names, /T for type names</p>
 
                 </div>
-                <div class="member-body-long" id ="long-body-nameString(sym)">
-                    <p>The name of the given symbol.
-If !settings.debug, the original name where
-expansions of operators are translated back to operator symbol.
-E.g. $eq =&gt; =.
-If settings.uniqid, adds id.</p>
+                <div class="member-body-long" id ="long-body-nameString(name)">
+                    <p>The name, possibley with with namespace suffix if debugNames is set:
+/L for local names, /V for other term names, /T for type names</p>
 
                 </div>
             </div>
@@ -12743,9 +12737,9 @@ If settings.uniqid, adds id.</p>
             </script>
         </div><!-- end member -->
         
-        <div id="nameString(name)" class="member ">
+        <div id="nameString(sym)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'nameString(name)');">[+]</span>
+                <span class="expand-button" onclick="toggleMemberBody(this, 'nameString(sym)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -12767,9 +12761,9 @@ If settings.uniqid, adds id.</p>
                         
                         
                             <span class="no-left">
-                                name:
+                                sym:
                             </span>
-                            Name
+                            Symbol
                             
                         
                     <span class="no-left">)</span>
@@ -12784,14 +12778,20 @@ If settings.uniqid, adds id.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-nameString(name)">
-                    <p>The name, possibley with with namespace suffix if debugNames is set:
-/L for local names, /V for other term names, /T for type names</p>
+                <div class="member-body-short" id="short-body-nameString(sym)">
+                    <p>The name of the given symbol.
+If !settings.debug, the original name where
+expansions of operators are translated back to operator symbol.
+E.g. $eq =&gt; =.
+I...</p>
 
                 </div>
-                <div class="member-body-long" id ="long-body-nameString(name)">
-                    <p>The name, possibley with with namespace suffix if debugNames is set:
-/L for local names, /V for other term names, /T for type names</p>
+                <div class="member-body-long" id ="long-body-nameString(sym)">
+                    <p>The name of the given symbol.
+If !settings.debug, the original name where
+expansions of operators are translated back to operator symbol.
+E.g. $eq =&gt; =.
+If settings.uniqid, adds id.</p>
 
                 </div>
             </div>
@@ -16393,9 +16393,9 @@ It has</p>
             </script>
         </div><!-- end member -->
         
-        <div id="toText(tree)" class="member ">
+        <div id="toText(result)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'toText(tree)');">[+]</span>
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toText(result)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -16417,12 +16417,9 @@ It has</p>
                         
                         
                             <span class="no-left">
-                                tree:
+                                result:
                             </span>
-                            <a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Tree.html">Tree</a>
-<span class="no-left no-right">[</span>
-T
-<span class="no-left">]</span>
+                            SearchResult
                             
                         
                     <span class="no-left">)</span>
@@ -16432,18 +16429,17 @@ T
                 
 
                 
-                <span class="no-left">: [T >: dotty.tools.dotc.ast.Trees.Untyped] => 
-  (tree: dotty.tools.dotc.ast.Trees.Tree[T])dotty.tools.dotc.printing.Texts.Text (not handled)</span>
+                <span class="no-left">: Text</span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-toText(tree)">
-                    <p>Textual representation of tree</p>
+                <div class="member-body-short" id="short-body-toText(result)">
+                    <p>Textual representation of implicit search result</p>
 
                 </div>
-                <div class="member-body-long" id ="long-body-toText(tree)">
-                    <p>Textual representation of tree</p>
+                <div class="member-body-long" id ="long-body-toText(result)">
+                    <p>Textual representation of implicit search result</p>
 
                 </div>
             </div>
@@ -16460,9 +16456,9 @@ T
             </script>
         </div><!-- end member -->
         
-        <div id="toText(sc)" class="member ">
+        <div id="toText(tp)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'toText(sc)');">[+]</span>
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toText(tp)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -16484,9 +16480,9 @@ T
                         
                         
                             <span class="no-left">
-                                sc:
+                                tp:
                             </span>
-                            Scope
+                            Type
                             
                         
                     <span class="no-left">)</span>
@@ -16501,12 +16497,12 @@ T
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-toText(sc)">
-                    <p>Textual representation of all definitions in a scope using <code>dclText</code> for each</p>
+                <div class="member-body-short" id="short-body-toText(tp)">
+                    <p>Textual representation of type</p>
 
                 </div>
-                <div class="member-body-long" id ="long-body-toText(sc)">
-                    <p>Textual representation of all definitions in a scope using <code>dclText</code> for each</p>
+                <div class="member-body-long" id ="long-body-toText(tp)">
+                    <p>Textual representation of type</p>
 
                 </div>
             </div>
@@ -16523,9 +16519,9 @@ T
             </script>
         </div><!-- end member -->
         
-        <div id="toText(const)" class="member ">
+        <div id="toText(sym)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'toText(const)');">[+]</span>
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toText(sym)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -16547,9 +16543,9 @@ T
                         
                         
                             <span class="no-left">
-                                const:
+                                sym:
                             </span>
-                            Constant
+                            Symbol
                             
                         
                     <span class="no-left">)</span>
@@ -16564,12 +16560,14 @@ T
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-toText(const)">
-                    <p>Textual representation of constant</p>
+                <div class="member-body-short" id="short-body-toText(sym)">
+                    <p>Textual representation, including symbol's kind e.g., &quot;class Foo&quot;, &quot;method Bar&quot;.
+If hasMeaninglessName is true, uses the owner's name to disambiguate i...</p>
 
                 </div>
-                <div class="member-body-long" id ="long-body-toText(const)">
-                    <p>Textual representation of constant</p>
+                <div class="member-body-long" id ="long-body-toText(sym)">
+                    <p>Textual representation, including symbol's kind e.g., &quot;class Foo&quot;, &quot;method Bar&quot;.
+If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</p>
 
                 </div>
             </div>
@@ -16586,9 +16584,9 @@ T
             </script>
         </div><!-- end member -->
         
-        <div id="toText(sym)" class="member ">
+        <div id="toText(denot)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'toText(sym)');">[+]</span>
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toText(denot)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -16610,9 +16608,9 @@ T
                         
                         
                             <span class="no-left">
-                                sym:
+                                denot:
                             </span>
-                            Symbol
+                            Denotation
                             
                         
                     <span class="no-left">)</span>
@@ -16627,14 +16625,12 @@ T
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-toText(sym)">
-                    <p>Textual representation, including symbol's kind e.g., &quot;class Foo&quot;, &quot;method Bar&quot;.
-If hasMeaninglessName is true, uses the owner's name to disambiguate i...</p>
+                <div class="member-body-short" id="short-body-toText(denot)">
+                    <p>Textual representation of denotation</p>
 
                 </div>
-                <div class="member-body-long" id ="long-body-toText(sym)">
-                    <p>Textual representation, including symbol's kind e.g., &quot;class Foo&quot;, &quot;method Bar&quot;.
-If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</p>
+                <div class="member-body-long" id ="long-body-toText(denot)">
+                    <p>Textual representation of denotation</p>
 
                 </div>
             </div>
@@ -16651,9 +16647,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</
             </script>
         </div><!-- end member -->
         
-        <div id="toText(denot)" class="member ">
+        <div id="toText(sc)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'toText(denot)');">[+]</span>
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toText(sc)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -16675,9 +16671,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</
                         
                         
                             <span class="no-left">
-                                denot:
+                                sc:
                             </span>
-                            Denotation
+                            Scope
                             
                         
                     <span class="no-left">)</span>
@@ -16692,12 +16688,12 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-toText(denot)">
-                    <p>Textual representation of denotation</p>
+                <div class="member-body-short" id="short-body-toText(sc)">
+                    <p>Textual representation of all definitions in a scope using <code>dclText</code> for each</p>
 
                 </div>
-                <div class="member-body-long" id ="long-body-toText(denot)">
-                    <p>Textual representation of denotation</p>
+                <div class="member-body-long" id ="long-body-toText(sc)">
+                    <p>Textual representation of all definitions in a scope using <code>dclText</code> for each</p>
 
                 </div>
             </div>
@@ -16714,9 +16710,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</
             </script>
         </div><!-- end member -->
         
-        <div id="toText(tp)" class="member ">
+        <div id="toText(tree)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'toText(tp)');">[+]</span>
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toText(tree)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -16738,9 +16734,76 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</
                         
                         
                             <span class="no-left">
-                                tp:
+                                tree:
                             </span>
-                            Type
+                            <a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Tree.html">Tree</a>
+<span class="no-left no-right">[</span>
+T
+<span class="no-left">]</span>
+                            
+                        
+                    <span class="no-left">)</span>
+                    
+                
+
+                
+
+                
+                <span class="no-left">: [T >: dotty.tools.dotc.ast.Trees.Untyped] => 
+  (tree: dotty.tools.dotc.ast.Trees.Tree[T])dotty.tools.dotc.printing.Texts.Text (not handled)</span>
+                
+            </div><!-- end member-title -->
+
+            <div class="member-body">
+                <div class="member-body-short" id="short-body-toText(tree)">
+                    <p>Textual representation of tree</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-toText(tree)">
+                    <p>Textual representation of tree</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="toText(const)" class="member ">
+            <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toText(const)');">[+]</span>
+                <span class="member-annotations">
+                    
+                </span>
+                <span class="member-modifiers">
+                    
+                </span>
+                <span class="member-kind">
+                    def
+                </span>
+                <span class="member-name ">
+                    
+                        toText
+                    
+                </span>
+
+                
+                    
+                    <span class="no-left">(</span>
+                        
+                        
+                            <span class="no-left">
+                                const:
+                            </span>
+                            Constant
                             
                         
                     <span class="no-left">)</span>
@@ -16755,12 +16818,12 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.</
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-toText(tp)">
-                    <p>Textual representation of type</p>
+                <div class="member-body-short" id="short-body-toText(const)">
+                    <p>Textual representation of constant</p>
 
                 </div>
-                <div class="member-body-long" id ="long-body-toText(tp)">
-                    <p>Textual representation of type</p>
+                <div class="member-body-long" id ="long-body-toText(const)">
+                    <p>Textual representation of constant</p>
 
                 </div>
             </div>
diff --git a/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html b/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html
index 5c1cfe80f..00b3ae920 100644
--- a/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html
+++ b/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html
@@ -5954,9 +5954,9 @@ String
             </script>
         </div><!-- end member -->
         
-        <div id="is(flags)" class="member ">
+        <div id="is(flags,butNot)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'is(flags)');">[+]</span>
+                <span class="expand-button" onclick="toggleMemberBody(this, 'is(flags,butNot)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5982,6 +5982,14 @@ String
                             </span>
                             FlagConjunction
                             
+                                <span class="no-left">, </span>
+                            
+                        
+                            <span class="">
+                                butNot:
+                            </span>
+                            FlagSet
+                            
                         
                     <span class="no-left">)</span>
                     
@@ -5995,13 +6003,15 @@ String
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-is(flags)">
+                <div class="member-body-short" id="short-body-is(flags,butNot)">
                     <p>Does this flag set have all of the flags in given flag conjunction?
-Pre: The intersection of the typeflags of both sets must be non-empty.</p>
+and at the same time contain none of the flags in the <code>butNot</code> set?
+Pre: The intersect...</p>
 
                 </div>
-                <div class="member-body-long" id ="long-body-is(flags)">
+                <div class="member-body-long" id ="long-body-is(flags,butNot)">
                     <p>Does this flag set have all of the flags in given flag conjunction?
+and at the same time contain none of the flags in the <code>butNot</code> set?
 Pre: The intersection of the typeflags of both sets must be non-empty.</p>
 
                 </div>
@@ -6084,9 +6094,9 @@ This means that both the kind flags and the carrier bits have non-empty intersec
             </script>
         </div><!-- end member -->
         
-        <div id="is(flags,butNot)" class="member ">
+        <div id="is(flags)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'is(flags,butNot)');">[+]</span>
+                <span class="expand-button" onclick="toggleMemberBody(this, 'is(flags)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6110,15 +6120,7 @@ This means that both the kind flags and the carrier bits have non-empty intersec
                             <span class="no-left">
                                 flags:
                             </span>
-                            FlagSet
-                            
-                                <span class="no-left">, </span>
-                            
-                        
-                            <span class="">
-                                butNot:
-                            </span>
-                            FlagSet
+                            FlagConjunction
                             
                         
                     <span class="no-left">)</span>
@@ -6133,14 +6135,14 @@ This means that both the kind flags and the carrier bits have non-empty intersec
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-is(flags,butNot)">
-                    <p>Does this flag set have a non-empty intersection with the given flag set,
-and at the same time contain none of the flags in the <code>butNot</code> set?</p>
+                <div class="member-body-short" id="short-body-is(flags)">
+                    <p>Does this flag set have all of the flags in given flag conjunction?
+Pre: The intersection of the typeflags of both sets must be non-empty.</p>
 
                 </div>
-                <div class="member-body-long" id ="long-body-is(flags,butNot)">
-                    <p>Does this flag set have a non-empty intersection with the given flag set,
-and at the same time contain none of the flags in the <code>butNot</code> set?</p>
+                <div class="member-body-long" id ="long-body-is(flags)">
+                    <p>Does this flag set have all of the flags in given flag conjunction?
+Pre: The intersection of the typeflags of both sets must be non-empty.</p>
 
                 </div>
             </div>
@@ -6183,7 +6185,7 @@ and at the same time contain none of the flags in the <code>butNot</code> set?</
                             <span class="no-left">
                                 flags:
                             </span>
-                            FlagConjunction
+                            FlagSet
                             
                                 <span class="no-left">, </span>
                             
@@ -6207,15 +6209,13 @@ and at the same time contain none of the flags in the <code>butNot</code> set?</
 
             <div class="member-body">
                 <div class="member-body-short" id="short-body-is(flags,butNot)">
-                    <p>Does this flag set have all of the flags in given flag conjunction?
-and at the same time contain none of the flags in the <code>butNot</code> set?
-Pre: The intersect...</p>
+                    <p>Does this flag set have a non-empty intersection with the given flag set,
+and at the same time contain none of the flags in the <code>butNot</code> set?</p>
 
                 </div>
                 <div class="member-body-long" id ="long-body-is(flags,butNot)">
-                    <p>Does this flag set have all of the flags in given flag conjunction?
-and at the same time contain none of the flags in the <code>butNot</code> set?
-Pre: The intersection of the typeflags of both sets must be non-empty.</p>
+                    <p>Does this flag set have a non-empty intersection with the given flag set,
+and at the same time contain none of the flags in the <code>butNot</code> set?</p>
 
                 </div>
             </div>
diff --git a/api/dotty/tools/dotc/core/MutableTyperState.html b/api/dotty/tools/dotc/core/MutableTyperState.html
index e80f54b52..28ec620be 100644
--- a/api/dotty/tools/dotc/core/MutableTyperState.html
+++ b/api/dotty/tools/dotc/core/MutableTyperState.html
@@ -6302,6 +6302,56 @@ no-longer needed constraint entries.</p>
             </script>
         </div><!-- end member -->
         
+        <div id="hashesStr" class="member ">
+            <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'hashesStr');">[+]</span>
+                <span class="member-annotations">
+                    
+                </span>
+                <span class="member-modifiers">
+                    override
+                </span>
+                <span class="member-kind">
+                    def
+                </span>
+                <span class="member-name ">
+                    
+                        hashesStr
+                    
+                </span>
+
+                
+
+                
+
+                
+                <span class="no-left">: String</span>
+                
+            </div><!-- end member-title -->
+
+            <div class="member-body">
+                <div class="member-body-short" id="short-body-hashesStr">
+                    <p>A string showing the hashes of all nested mutable typerstates</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-hashesStr">
+                    <p>A string showing the hashes of all nested mutable typerstates</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="isCommitted_=(x$1)" class="member private">
             <div class="member-title">
                 <span class="expand-button" onclick="toggleMemberBody(this, 'isCommitted_=(x$1)');">[+]</span>
diff --git a/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html b/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html
index d17459b2b..67cf95a12 100644
--- a/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html
+++ b/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html
@@ -11732,9 +11732,9 @@ of this run.</p>
             </script>
         </div><!-- end member -->
         
-        <div id="is(fs)(ctx)" class="member ">
+        <div id="is(fs,butNot)(ctx)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'is(fs)(ctx)');">[+]</span>
+                <span class="expand-button" onclick="toggleMemberBody(this, 'is(fs,butNot)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -11758,6 +11758,14 @@ of this run.</p>
                             <span class="no-left">
                                 fs:
                             </span>
+                            FlagConjunction
+                            
+                                <span class="no-left">, </span>
+                            
+                        
+                            <span class="">
+                                butNot:
+                            </span>
                             FlagSet
                             
                         
@@ -11786,12 +11794,14 @@ of this run.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-is(fs)(ctx)">
-                    <p>Has this denotation one of the flags in <code>fs</code> set?</p>
+                <div class="member-body-short" id="short-body-is(fs,butNot)(ctx)">
+                    <p>Has this denotation all of the flags in <code>fs</code> set, whereas none of the flags
+in <code>butNot</code> are set?</p>
 
                 </div>
-                <div class="member-body-long" id ="long-body-is(fs)(ctx)">
-                    <p>Has this denotation one of the flags in <code>fs</code> set?</p>
+                <div class="member-body-long" id ="long-body-is(fs,butNot)(ctx)">
+                    <p>Has this denotation all of the flags in <code>fs</code> set, whereas none of the flags
+in <code>butNot</code> are set?</p>
 
                 </div>
             </div>
@@ -11970,9 +11980,9 @@ in <code>butNot</code> are set?</p>
             </script>
         </div><!-- end member -->
         
-        <div id="is(fs,butNot)(ctx)" class="member ">
+        <div id="is(fs)(ctx)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'is(fs,butNot)(ctx)');">[+]</span>
+                <span class="expand-button" onclick="toggleMemberBody(this, 'is(fs)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -11996,14 +12006,6 @@ in <code>butNot</code> are set?</p>
                             <span class="no-left">
                                 fs:
                             </span>
-                            FlagConjunction
-                            
-                                <span class="no-left">, </span>
-                            
-                        
-                            <span class="">
-                                butNot:
-                            </span>
                             FlagSet
                             
                         
@@ -12032,14 +12034,12 @@ in <code>butNot</code> are set?</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-is(fs,butNot)(ctx)">
-                    <p>Has this denotation all of the flags in <code>fs</code> set, whereas none of the flags
-in <code>butNot</code> are set?</p>
+                <div class="member-body-short" id="short-body-is(fs)(ctx)">
+                    <p>Has this denotation one of the flags in <code>fs</code> set?</p>
 
                 </div>
-                <div class="member-body-long" id ="long-body-is(fs,butNot)(ctx)">
-                    <p>Has this denotation all of the flags in <code>fs</code> set, whereas none of the flags
-in <code>butNot</code> are set?</p>
+                <div class="member-body-long" id ="long-body-is(fs)(ctx)">
+                    <p>Has this denotation one of the flags in <code>fs</code> set?</p>
 
                 </div>
             </div>
@@ -17282,7 +17282,7 @@ have existing symbols.</p>
                             <span class="no-left">
                                 that: =&gt;
                             </span>
-                            Denotation
+                            SingleDenotation
                             
                         
                     <span class="no-left">)</span>
@@ -17292,18 +17292,16 @@ have existing symbols.</p>
                 
 
                 
-                <span class="no-left">: Denotation</span>
+                <span class="no-left">: SingleDenotation</span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
                 <div class="member-body-short" id="short-body-orElse(that)">
-                    <p>If this denotation does not exist, fallback to alternative</p>
-
+                    
                 </div>
                 <div class="member-body-long" id ="long-body-orElse(that)">
-                    <p>If this denotation does not exist, fallback to alternative</p>
-
+                    
                 </div>
             </div>
             <script>
@@ -17345,7 +17343,7 @@ have existing symbols.</p>
                             <span class="no-left">
                                 that: =&gt;
                             </span>
-                            SingleDenotation
+                            Denotation
                             
                         
                     <span class="no-left">)</span>
@@ -17355,16 +17353,18 @@ have existing symbols.</p>
                 
 
                 
-                <span class="no-left">: SingleDenotation</span>
+                <span class="no-left">: Denotation</span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
                 <div class="member-body-short" id="short-body-orElse(that)">
-                    
+                    <p>If this denotation does not exist, fallback to alternative</p>
+
                 </div>
                 <div class="member-body-long" id ="long-body-orElse(that)">
-                    
+                    <p>If this denotation does not exist, fallback to alternative</p>
+
                 </div>
             </div>
             <script>
@@ -18264,9 +18264,9 @@ If <code>prev</code> is not defined in current class, do nothing.</p>
             </script>
         </div><!-- end member -->
         
-        <div id="requiredMethod(name)(ctx)" class="member ">
+        <div id="requiredMethod(name,argTypes)(ctx)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'requiredMethod(name)(ctx)');">[+]</span>
+                <span class="expand-button" onclick="toggleMemberBody(this, 'requiredMethod(name,argTypes)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -18292,6 +18292,17 @@ If <code>prev</code> is not defined in current class, do nothing.</p>
                             </span>
                             PreName
                             
+                                <span class="no-left">, </span>
+                            
+                        
+                            <span class="">
+                                argTypes:
+                            </span>
+                            List
+<span class="no-left no-right">[</span>
+Type
+<span class="no-left">]</span>
+                            
                         
                     <span class="no-left">)</span>
                     
@@ -18318,10 +18329,10 @@ If <code>prev</code> is not defined in current class, do nothing.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-requiredMethod(name)(ctx)">
+                <div class="member-body-short" id="short-body-requiredMethod(name,argTypes)(ctx)">
                     
                 </div>
-                <div class="member-body-long" id ="long-body-requiredMethod(name)(ctx)">
+                <div class="member-body-long" id ="long-body-requiredMethod(name,argTypes)(ctx)">
                     
                 </div>
             </div>
@@ -18338,9 +18349,9 @@ If <code>prev</code> is not defined in current class, do nothing.</p>
             </script>
         </div><!-- end member -->
         
-        <div id="requiredMethod(name,argTypes)(ctx)" class="member ">
+        <div id="requiredMethod(name)(ctx)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'requiredMethod(name,argTypes)(ctx)');">[+]</span>
+                <span class="expand-button" onclick="toggleMemberBody(this, 'requiredMethod(name)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -18366,17 +18377,6 @@ If <code>prev</code> is not defined in current class, do nothing.</p>
                             </span>
                             PreName
                             
-                                <span class="no-left">, </span>
-                            
-                        
-                            <span class="">
-                                argTypes:
-                            </span>
-                            List
-<span class="no-left no-right">[</span>
-Type
-<span class="no-left">]</span>
-                            
                         
                     <span class="no-left">)</span>
                     
@@ -18403,10 +18403,10 @@ Type
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-requiredMethod(name,argTypes)(ctx)">
+                <div class="member-body-short" id="short-body-requiredMethod(name)(ctx)">
                     
                 </div>
-                <div class="member-body-long" id ="long-body-requiredMethod(name,argTypes)(ctx)">
+                <div class="member-body-long" id ="long-body-requiredMethod(name)(ctx)">
                     
                 </div>
             </div>
diff --git a/api/dotty/tools/dotc/core/Symbols$/Symbol.html b/api/dotty/tools/dotc/core/Symbols$/Symbol.html
index 3fb12008a..b93a772f4 100644
--- a/api/dotty/tools/dotc/core/Symbols$/Symbol.html
+++ b/api/dotty/tools/dotc/core/Symbols$/Symbol.html
@@ -5403,7 +5403,7 @@
                         
                         
                             <span class="no-left">
-                                sym:
+                                self:
                             </span>
                             Symbol
                             
@@ -5457,7 +5457,7 @@
                         
                         
                             <span class="no-left">
-                                self:
+                                sym:
                             </span>
                             Symbol
                             
@@ -12427,9 +12427,9 @@ of this run.</p>
             </script>
         </div><!-- end member -->
         
-        <div id="is(fs)(ctx)" class="member ">
+        <div id="is(fs,butNot)(ctx)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'is(fs)(ctx)');">[+]</span>
+                <span class="expand-button" onclick="toggleMemberBody(this, 'is(fs,butNot)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -12453,6 +12453,14 @@ of this run.</p>
                             <span class="no-left">
                                 fs:
                             </span>
+                            FlagConjunction
+                            
+                                <span class="no-left">, </span>
+                            
+                        
+                            <span class="">
+                                butNot:
+                            </span>
                             FlagSet
                             
                         
@@ -12481,12 +12489,14 @@ of this run.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-is(fs)(ctx)">
-                    <p>Has this denotation one of the flags in <code>fs</code> set?</p>
+                <div class="member-body-short" id="short-body-is(fs,butNot)(ctx)">
+                    <p>Has this denotation all of the flags in <code>fs</code> set, whereas none of the flags
+in <code>butNot</code> are set?</p>
 
                 </div>
-                <div class="member-body-long" id ="long-body-is(fs)(ctx)">
-                    <p>Has this denotation one of the flags in <code>fs</code> set?</p>
+                <div class="member-body-long" id ="long-body-is(fs,butNot)(ctx)">
+                    <p>Has this denotation all of the flags in <code>fs</code> set, whereas none of the flags
+in <code>butNot</code> are set?</p>
 
                 </div>
             </div>
@@ -12665,9 +12675,9 @@ in <code>butNot</code> are set?</p>
             </script>
         </div><!-- end member -->
         
-        <div id="is(fs,butNot)(ctx)" class="member ">
+        <div id="is(fs)(ctx)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'is(fs,butNot)(ctx)');">[+]</span>
+                <span class="expand-button" onclick="toggleMemberBody(this, 'is(fs)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -12691,14 +12701,6 @@ in <code>butNot</code> are set?</p>
                             <span class="no-left">
                                 fs:
                             </span>
-                            FlagConjunction
-                            
-                                <span class="no-left">, </span>
-                            
-                        
-                            <span class="">
-                                butNot:
-                            </span>
                             FlagSet
                             
                         
@@ -12727,14 +12729,12 @@ in <code>butNot</code> are set?</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-is(fs,butNot)(ctx)">
-                    <p>Has this denotation all of the flags in <code>fs</code> set, whereas none of the flags
-in <code>butNot</code> are set?</p>
+                <div class="member-body-short" id="short-body-is(fs)(ctx)">
+                    <p>Has this denotation one of the flags in <code>fs</code> set?</p>
 
                 </div>
-                <div class="member-body-long" id ="long-body-is(fs,butNot)(ctx)">
-                    <p>Has this denotation all of the flags in <code>fs</code> set, whereas none of the flags
-in <code>butNot</code> are set?</p>
+                <div class="member-body-long" id ="long-body-is(fs)(ctx)">
+                    <p>Has this denotation one of the flags in <code>fs</code> set?</p>
 
                 </div>
             </div>
@@ -18761,7 +18761,7 @@ These are called a &quot;flock&quot;. Flock members are generated by</p>
                             <span class="no-left">
                                 that: =&gt;
                             </span>
-                            Denotation
+                            SingleDenotation
                             
                         
                     <span class="no-left">)</span>
@@ -18771,18 +18771,16 @@ These are called a &quot;flock&quot;. Flock members are generated by</p>
                 
 
                 
-                <span class="no-left">: Denotation</span>
+                <span class="no-left">: SingleDenotation</span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
                 <div class="member-body-short" id="short-body-orElse(that)">
-                    <p>If this denotation does not exist, fallback to alternative</p>
-
+                    
                 </div>
                 <div class="member-body-long" id ="long-body-orElse(that)">
-                    <p>If this denotation does not exist, fallback to alternative</p>
-
+                    
                 </div>
             </div>
             <script>
@@ -18824,7 +18822,7 @@ These are called a &quot;flock&quot;. Flock members are generated by</p>
                             <span class="no-left">
                                 that: =&gt;
                             </span>
-                            SingleDenotation
+                            Denotation
                             
                         
                     <span class="no-left">)</span>
@@ -18834,16 +18832,18 @@ These are called a &quot;flock&quot;. Flock members are generated by</p>
                 
 
                 
-                <span class="no-left">: SingleDenotation</span>
+                <span class="no-left">: Denotation</span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
                 <div class="member-body-short" id="short-body-orElse(that)">
-                    
+                    <p>If this denotation does not exist, fallback to alternative</p>
+
                 </div>
                 <div class="member-body-long" id ="long-body-orElse(that)">
-                    
+                    <p>If this denotation does not exist, fallback to alternative</p>
+
                 </div>
             </div>
             <script>
@@ -20130,9 +20130,9 @@ from source.</p>
             </script>
         </div><!-- end member -->
         
-        <div id="requiredMethod(name)(ctx)" class="member ">
+        <div id="requiredMethod(name,argTypes)(ctx)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'requiredMethod(name)(ctx)');">[+]</span>
+                <span class="expand-button" onclick="toggleMemberBody(this, 'requiredMethod(name,argTypes)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -20158,6 +20158,17 @@ from source.</p>
                             </span>
                             PreName
                             
+                                <span class="no-left">, </span>
+                            
+                        
+                            <span class="">
+                                argTypes:
+                            </span>
+                            List
+<span class="no-left no-right">[</span>
+Type
+<span class="no-left">]</span>
+                            
                         
                     <span class="no-left">)</span>
                     
@@ -20184,10 +20195,10 @@ from source.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-requiredMethod(name)(ctx)">
+                <div class="member-body-short" id="short-body-requiredMethod(name,argTypes)(ctx)">
                     
                 </div>
-                <div class="member-body-long" id ="long-body-requiredMethod(name)(ctx)">
+                <div class="member-body-long" id ="long-body-requiredMethod(name,argTypes)(ctx)">
                     
                 </div>
             </div>
@@ -20204,9 +20215,9 @@ from source.</p>
             </script>
         </div><!-- end member -->
         
-        <div id="requiredMethod(name,argTypes)(ctx)" class="member ">
+        <div id="requiredMethod(name)(ctx)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'requiredMethod(name,argTypes)(ctx)');">[+]</span>
+                <span class="expand-button" onclick="toggleMemberBody(this, 'requiredMethod(name)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -20232,17 +20243,6 @@ from source.</p>
                             </span>
                             PreName
                             
-                                <span class="no-left">, </span>
-                            
-                        
-                            <span class="">
-                                argTypes:
-                            </span>
-                            List
-<span class="no-left no-right">[</span>
-Type
-<span class="no-left">]</span>
-                            
                         
                     <span class="no-left">)</span>
                     
@@ -20269,10 +20269,10 @@ Type
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-requiredMethod(name,argTypes)(ctx)">
+                <div class="member-body-short" id="short-body-requiredMethod(name)(ctx)">
                     
                 </div>
-                <div class="member-body-long" id ="long-body-requiredMethod(name,argTypes)(ctx)">
+                <div class="member-body-long" id ="long-body-requiredMethod(name)(ctx)">
                     
                 </div>
             </div>
diff --git a/api/dotty/tools/dotc/core/TyperState.html b/api/dotty/tools/dotc/core/TyperState.html
index b33e280d4..5b37ad83d 100644
--- a/api/dotty/tools/dotc/core/TyperState.html
+++ b/api/dotty/tools/dotc/core/TyperState.html
@@ -5883,6 +5883,56 @@ no-longer needed constraint entries.</p>
             </script>
         </div><!-- end member -->
         
+        <div id="hashesStr" class="member ">
+            <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'hashesStr');">[+]</span>
+                <span class="member-annotations">
+                    
+                </span>
+                <span class="member-modifiers">
+                    
+                </span>
+                <span class="member-kind">
+                    def
+                </span>
+                <span class="member-name ">
+                    
+                        hashesStr
+                    
+                </span>
+
+                
+
+                
+
+                
+                <span class="no-left">: String</span>
+                
+            </div><!-- end member-title -->
+
+            <div class="member-body">
+                <div class="member-body-short" id="short-body-hashesStr">
+                    <p>A string showing the hashes of all nested mutable typerstates</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-hashesStr">
+                    <p>A string showing the hashes of all nested mutable typerstates</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="instType(tvar)(ctx)" class="member ">
             <div class="member-title">
                 <span class="expand-button" onclick="toggleMemberBody(this, 'instType(tvar)(ctx)');">[+]</span>
diff --git a/api/dotty/tools/dotc/core/Types$/Type.html b/api/dotty/tools/dotc/core/Types$/Type.html
index dab15d242..1c2f11432 100644
--- a/api/dotty/tools/dotc/core/Types$/Type.html
+++ b/api/dotty/tools/dotc/core/Types$/Type.html
@@ -6235,9 +6235,9 @@ is covariant is irrelevant, so can be ignored.</p>
             </script>
         </div><!-- end member -->
         
-        <div id="appliedTo(arg1,arg2)(ctx)" class="member ">
+        <div id="appliedTo(args)(ctx)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'appliedTo(arg1,arg2)(ctx)');">[+]</span>
+                <span class="expand-button" onclick="toggleMemberBody(this, 'appliedTo(args)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6259,17 +6259,12 @@ is covariant is irrelevant, so can be ignored.</p>
                         
                         
                             <span class="no-left">
-                                arg1:
-                            </span>
-                            Type
-                            
-                                <span class="no-left">, </span>
-                            
-                        
-                            <span class="">
-                                arg2:
+                                args:
                             </span>
-                            Type
+                            List
+<span class="no-left no-right">[</span>
+Type
+<span class="no-left">]</span>
                             
                         
                     <span class="no-left">)</span>
@@ -6297,11 +6292,17 @@ is covariant is irrelevant, so can be ignored.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <div class="member-body-short" id="short-body-appliedTo(arg1,arg2)(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(arg1,arg2)(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>
@@ -6317,9 +6318,9 @@ is covariant is irrelevant, so can be ignored.</p>
             </script>
         </div><!-- end member -->
         
-        <div id="appliedTo(args)(ctx)" class="member ">
+        <div id="appliedTo(arg1,arg2)(ctx)" class="member ">
             <div class="member-title">
-                <span class="expand-button" onclick="toggleMemberBody(this, 'appliedTo(args)(ctx)');">[+]</span>
+                <span class="expand-button" onclick="toggleMemberBody(this, 'appliedTo(arg1,arg2)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6341,12 +6342,17 @@ is covariant is irrelevant, so can be ignored.</p>
                         
                         
                             <span class="no-left">
-                                args:
+                                arg1:
                             </span>
-                            List
-<span class="no-left no-right">[</span>
-Type
-<span class="no-left">]</span>
+                            Type
+                            
+                                <span class="no-left">, </span>
+                            
+                        
+                            <span class="">
+                                arg2:
+                            </span>
+                            Type
                             
                         
                     <span class="no-left">)</span>
@@ -6374,17 +6380,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(arg1,arg2)(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(arg1,arg2)(ctx)">
+                    
                 </div>
             </div>
             <script>
diff --git a/api/dotty/tools/dotc/printing/PlainPrinter.html b/api/dotty/tools/dotc/printing/PlainPrinter.html
index 946586b26..c476445e1 100644
--- a/api/dotty/tools/dotc/printing/PlainPrinter.html
+++ b/api/dotty/tools/dotc/printing/PlainPrinter.html
@@ -8694,6 +8694,69 @@ T
             </script>
         </div><!-- end member -->
         
+        <div id="toText(result)" class="member ">
+            <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toText(result)');">[+]</span>
+                <span class="member-annotations">
+                    
+                </span>
+                <span class="member-modifiers">
+                    
+                </span>
+                <span class="member-kind">
+                    def
+                </span>
+                <span class="member-name ">
+                    
+                        toText
+                    
+                </span>
+
+                
+                    
+                    <span class="no-left">(</span>
+                        
+                        
+                            <span class="no-left">
+                                result:
+                            </span>
+                            SearchResult
+                            
+                        
+                    <span class="no-left">)</span>
+                    
+                
+
+                
+
+                
+                <span class="no-left">: Text</span>
+                
+            </div><!-- end member-title -->
+
+            <div class="member-body">
+                <div class="member-body-short" id="short-body-toText(result)">
+                    <p>Textual representation of implicit search result</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-toText(result)">
+                    <p>Textual representation of implicit search result</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="toTextFlags(sym)" class="member protected">
             <div class="member-title">
                 <span class="expand-button" onclick="toggleMemberBody(this, 'toTextFlags(sym)');">[+]</span>
diff --git a/api/dotty/tools/dotc/printing/Printer.html b/api/dotty/tools/dotc/printing/Printer.html
index 7b9aaa329..8bb2dfe82 100644
--- a/api/dotty/tools/dotc/printing/Printer.html
+++ b/api/dotty/tools/dotc/printing/Printer.html
@@ -6958,6 +6958,69 @@ T
             </script>
         </div><!-- end member -->
         
+        <div id="toText(result)" class="member ">
+            <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toText(result)');">[+]</span>
+                <span class="member-annotations">
+                    
+                </span>
+                <span class="member-modifiers">
+                    
+                </span>
+                <span class="member-kind">
+                    def
+                </span>
+                <span class="member-name ">
+                    
+                        toText
+                    
+                </span>
+
+                
+                    
+                    <span class="no-left">(</span>
+                        
+                        
+                            <span class="no-left">
+                                result:
+                            </span>
+                            SearchResult
+                            
+                        
+                    <span class="no-left">)</span>
+                    
+                
+
+                
+
+                
+                <span class="no-left">: Text</span>
+                
+            </div><!-- end member-title -->
+
+            <div class="member-body">
+                <div class="member-body-short" id="short-body-toText(result)">
+                    <p>Textual representation of implicit search result</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-toText(result)">
+                    <p>Textual representation of implicit search result</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>
 </div><!-- end entity-container -->
     </div>
diff --git a/api/dotty/tools/dotc/typer/Implicits$/AmbiguousImplicits.html b/api/dotty/tools/dotc/typer/Implicits$/AmbiguousImplicits.html
index ffe93c306..70923670e 100644
--- a/api/dotty/tools/dotc/typer/Implicits$/AmbiguousImplicits.html
+++ b/api/dotty/tools/dotc/typer/Implicits$/AmbiguousImplicits.html
@@ -5409,14 +5409,14 @@
 
     <div id="entity-members" class="entity-section ">
         
-        <div id="alt1" class="member private">
+        <div id="alt1" class="member ">
             <div class="member-title">
                 <span class="expand-button" onclick="toggleMemberBody(this, 'alt1');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
                 <span class="member-modifiers">
-                    private
+                    
                 </span>
                 <span class="member-kind">
                     val
@@ -5457,14 +5457,14 @@
             </script>
         </div><!-- end member -->
         
-        <div id="alt2" class="member private">
+        <div id="alt2" class="member ">
             <div class="member-title">
                 <span class="expand-button" onclick="toggleMemberBody(this, 'alt2');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
                 <span class="member-modifiers">
-                    private
+                    
                 </span>
                 <span class="member-kind">
                     val
diff --git a/api/dotty/tools/dotc/typer/Implicits$/SearchResult.html b/api/dotty/tools/dotc/typer/Implicits$/SearchResult.html
index b941ef0fa..e81e42817 100644
--- a/api/dotty/tools/dotc/typer/Implicits$/SearchResult.html
+++ b/api/dotty/tools/dotc/typer/Implicits$/SearchResult.html
@@ -5335,6 +5335,15 @@
         </span>
         
         
+        <div id="super-types">
+            
+            
+            <span class="keyword">extends</span>
+            
+            <span class="entity-super-type"><a href="../../../../../.././api/dotty/tools/dotc/printing/Showable.html">Showable</a></span>
+            
+        </div>
+        
     </div>
 
     
@@ -5364,11 +5373,78 @@
         
     </div>
 
-    <h1 class="section empty">
+    <h1 class="section ">
         Members
     </h1>
 
-    <div id="entity-members" class="entity-section empty">
+    <div id="entity-members" class="entity-section ">
+        
+        <div id="toText(printer)" class="member ">
+            <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toText(printer)');">[+]</span>
+                <span class="member-annotations">
+                    
+                </span>
+                <span class="member-modifiers">
+                    
+                </span>
+                <span class="member-kind">
+                    def
+                </span>
+                <span class="member-name ">
+                    
+                        toText
+                    
+                </span>
+
+                
+                    
+                    <span class="no-left">(</span>
+                        
+                        
+                            <span class="no-left">
+                                printer:
+                            </span>
+                            <a href="../../../../../.././api/dotty/tools/dotc/printing/Printer.html">Printer</a>
+                            
+                        
+                    <span class="no-left">)</span>
+                    
+                
+
+                
+
+                
+                <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/printing/Texts$/Text.html">Text</a></span>
+                
+            </div><!-- end member-title -->
+
+            <div class="member-body">
+                <div class="member-body-short" id="short-body-toText(printer)">
+                    <p>The text representation of this showable element.
+This normally dispatches to a pattern matching
+method in Printers.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-toText(printer)">
+                    <p>The text representation of this showable element.
+This normally dispatches to a pattern matching
+method in Printers.</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>
 </div><!-- end entity-container -->
diff --git a/api/dotty/tools/dotc/typer/Implicits$/SearchSuccess.html b/api/dotty/tools/dotc/typer/Implicits$/SearchSuccess.html
index 6afbfc404..46d8b06b8 100644
--- a/api/dotty/tools/dotc/typer/Implicits$/SearchSuccess.html
+++ b/api/dotty/tools/dotc/typer/Implicits$/SearchSuccess.html
@@ -5342,6 +5342,11 @@
             
             <span class="entity-super-type">SearchResult</span>
             
+            
+            <span class="keyword">with</span>
+            
+            <span class="entity-super-type"><a href="../../../../../.././api/dotty/tools/dotc/printing/Showable.html">Showable</a></span>
+            
         </div>
         
     </div>
diff --git a/api/dotty/tools/io/Jar$/WManifest.html b/api/dotty/tools/io/Jar$/WManifest.html
index 5e317c3e5..b0fdfb8bb 100644
--- a/api/dotty/tools/io/Jar$/WManifest.html
+++ b/api/dotty/tools/io/Jar$/WManifest.html
@@ -5373,7 +5373,7 @@
                             <span class="no-left">
                                 x$0:
                             </span>
-                            Manifest
+                            InputStream
                             
                         
                     <span class="no-left">)</span>
@@ -5388,12 +5388,6 @@
                     <span class="no-left">(</span>
                         
                         
-                            <span class="no-left">
-                                x$0:
-                            </span>
-                            InputStream
-                            
-                        
                     <span class="no-left">)</span>
                 </div>
             </div>
@@ -5406,6 +5400,12 @@
                     <span class="no-left">(</span>
                         
                         
+                            <span class="no-left">
+                                x$0:
+                            </span>
+                            Manifest
+                            
+                        
                     <span class="no-left">)</span>
                 </div>
             </div>
diff --git a/api/strawman/collections/CollectionStrawMan1$/View.html b/api/strawman/collections/CollectionStrawMan1$/View.html
index 888a77af6..4e4a6dd51 100644
--- a/api/strawman/collections/CollectionStrawMan1$/View.html
+++ b/api/strawman/collections/CollectionStrawMan1$/View.html
@@ -5992,7 +5992,7 @@ B
                             </span>
                             Iterator
 <span class="no-left no-right">[</span>
-A
+B
 <span class="no-left">]</span>
                             
                         
@@ -6003,10 +6003,9 @@ A
                 
 
                 
-                <span class="no-left">: View
-<span class="no-left no-right">[</span>
-A
-<span class="no-left">]</span></span>
+                <span class="no-left">: [B] => 
+  (it: => strawman.collections.CollectionStrawMan1.Iterator[B])
+    strawman.collections.CollectionStrawMan1.View[B] (not handled)</span>
                 
             </div><!-- end member-title -->
 
@@ -6059,7 +6058,7 @@ A
                             </span>
                             Iterator
 <span class="no-left no-right">[</span>
-B
+A
 <span class="no-left">]</span>
                             
                         
@@ -6070,9 +6069,10 @@ B
                 
 
                 
-                <span class="no-left">: [B] => 
-  (it: => strawman.collections.CollectionStrawMan1.Iterator[B])
-    strawman.collections.CollectionStrawMan1.View[B] (not handled)</span>
+                <span class="no-left">: View
+<span class="no-left no-right">[</span>
+A
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->