diff options
Diffstat (limited to 'api/dotty/tools/dotc/ast/tpd$.html')
| -rw-r--r-- | api/dotty/tools/dotc/ast/tpd$.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/api/dotty/tools/dotc/ast/tpd$.html b/api/dotty/tools/dotc/ast/tpd$.html index f692ea145..7796daadc 100644 --- a/api/dotty/tools/dotc/ast/tpd$.html +++ b/api/dotty/tools/dotc/ast/tpd$.html @@ -7093,7 +7093,7 @@ Tree - <span class="no-left">: Nil$</span> + <span class="no-left">: Nil.type</span> </div><!-- end member-title --> @@ -7353,7 +7353,7 @@ otherwise specified).</p> - <span class="no-left">: Nil$</span> + <span class="no-left">: Nil.type</span> </div><!-- end member-title --> @@ -7413,7 +7413,7 @@ otherwise specified).</p> - <span class="no-left">: NoType$</span> + <span class="no-left">: NoType.type</span> </div><!-- end member-title --> @@ -9813,7 +9813,7 @@ Tree - <span class="no-left">: NoSymbol$</span> + <span class="no-left">: NoSymbol.type</span> </div><!-- end member-title --> |