1 files changed, 94 insertions, 0 deletions
diff --git a/api/dotty/tools/dotc/typer/TypeAssigner.html b/api/dotty/tools/dotc/typer/TypeAssigner.html
index c6c007390..7b58af844 100644
--- a/api/dotty/tools/dotc/typer/TypeAssigner.html
+++ b/api/dotty/tools/dotc/typer/TypeAssigner.html
@@ -9448,6 +9448,100 @@ that the package object shows up as the prefix.</p>
             </script>
         </div><!-- end member -->
         
+        <div id="safeSubstParam(tp,pref,argType)(ctx)" class="member ">
+            <div class="member-title">
+                <span class="expand-button invisible" onclick="toggleMemberBody(this, 'safeSubstParam(tp,pref,argType)(ctx)');">[+]</span>
+                <span class="member-annotations">
+                    
+                </span>
+                <span class="member-modifiers">
+                    
+                </span>
+                <span class="member-kind">
+                    def
+                </span>
+                <span class="member-name ">
+                    
+                        safeSubstParam
+                    
+                </span>
+
+                
+                    
+                    <span class="no-left">(</span>
+                        
+                        
+                            <span class="no-left">
+                                tp:
+                            </span>
+                            <a href="../../../../.././api/dotty/tools/dotc/core/Types$/Type.html">Type</a>
+                            
+                                <span class="no-left">, </span>
+                            
+                        
+                            <span class="">
+                                pref:
+                            </span>
+                            <a href="../../../../.././api/dotty/tools/dotc/core/Types$/ParamRef.html">ParamRef</a>
+                            
+                                <span class="no-left">, </span>
+                            
+                        
+                            <span class="">
+                                argType:
+                            </span>
+                            <a href="../../../../.././api/dotty/tools/dotc/core/Types$/Type.html">Type</a>
+                            
+                        
+                    <span class="no-left">)</span>
+                    
+                    <span class="no-left">(</span>
+                        
+                        <span class="no-left keyword">implicit</span>
+                        
+                        
+                            <span class="no-left">
+                                ctx:
+                            </span>
+                            <a href="../../../../.././api/dotty/tools/dotc/core/Contexts$/Context.html">Context</a>
+                            
+                        
+                    <span class="no-left">)</span>
+                    
+                
+
+                
+
+                
+                <span class="no-left">: <a href="../../../../.././api/dotty/tools/dotc/core/Types$/Type.html">Type</a></span>
+                
+            </div><!-- end member-title -->
+
+            <div class="member-body">
+                <div class="member-body-short" id="short-body-safeSubstParam(tp,pref,argType)(ctx)">
+                    <p>Substitute argument type <code>argType</code> for parameter <code>pref</code> in type <code>tp</code>,
+skolemizing the argument type if it is not stable and <code>pref</code> occurs in <code>tp</code>.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-safeSubstParam(tp,pref,argType)(ctx)">
+                    <p>Substitute argument type <code>argType</code> for parameter <code>pref</code> in type <code>tp</code>,
+skolemizing the argument type if it is not stable and <code>pref</code> occurs in <code>tp</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="selectionType(site,name,pos)(ctx)" class="member ">
             <div class="member-title">
                 <span class="expand-button invisible" onclick="toggleMemberBody(this, 'selectionType(site,name,pos)(ctx)');">[+]</span>