1 files changed, 60 insertions, 0 deletions
diff --git a/api/dotty/tools/dotc/typer/ProtoTypes$/WildApproxMap.html b/api/dotty/tools/dotc/typer/ProtoTypes$/WildApproxMap.html
index 13f8d9173..63f081d04 100644
--- a/api/dotty/tools/dotc/typer/ProtoTypes$/WildApproxMap.html
+++ b/api/dotty/tools/dotc/typer/ProtoTypes$/WildApproxMap.html
@@ -5361,6 +5361,15 @@
                     <span class="no-left">(</span>
                         
                         
+                            <span class="no-left">
+                                seen:
+                            </span>
+                            Set
+<span class="no-left no-right">[</span>
+PolyParam
+<span class="no-left">]</span>
+                            
+                        
                     <span class="no-left">)</span>
                 </div>
             </div>
@@ -5440,6 +5449,57 @@
             </script>
         </div><!-- end member -->
         
+        <div id="seen" class="member ">
+            <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'seen');">[+]</span>
+                <span class="member-annotations">
+                    
+                </span>
+                <span class="member-modifiers">
+                    
+                </span>
+                <span class="member-kind">
+                    val
+                </span>
+                <span class="member-name ">
+                    
+                        seen
+                    
+                </span>
+
+                
+
+                
+
+                
+                <span class="no-left">: Set
+<span class="no-left no-right">[</span>
+<a href="../../../../../.././api/dotty/tools/dotc/core/Types$/PolyParam.html">PolyParam</a>
+<span class="no-left">]</span></span>
+                
+            </div><!-- end member-title -->
+
+            <div class="member-body">
+                <div class="member-body-short" id="short-body-seen">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-seen">
+                    
+                </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="apply(tp)" class="member ">
             <div class="member-title">
                 <span class="expand-button" onclick="toggleMemberBody(this, 'apply(tp)');">[+]</span>