diff options
author | dotty-bot <felix.mulder@epfl.ch> | 2017-04-11 08:25:39 +0000 |
---|---|---|
committer | dotty-bot <felix.mulder@epfl.ch> | 2017-04-11 08:25:39 +0000 |
commit | 0053e33ad799c9fc7451c0a7994d6e92745a57e1 (patch) | |
tree | 43a4436ba80e712ae9e28e85ff2eaff4a2d5c36f /api/dotty/tools/dotc/core/Types$ | |
parent | 882b4b6e06393574267297ca4fc13fa31bfcfd3f (diff) | |
download | dotty-0053e33ad799c9fc7451c0a7994d6e92745a57e1.tar.gz dotty-0053e33ad799c9fc7451c0a7994d6e92745a57e1.tar.bz2 dotty-0053e33ad799c9fc7451c0a7994d6e92745a57e1.zip |
Update gh-pages site for 4ff656138a2e4e127b763adeee3f0f72d515f6b6
Diffstat (limited to 'api/dotty/tools/dotc/core/Types$')
-rw-r--r-- | api/dotty/tools/dotc/core/Types$/Type.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/api/dotty/tools/dotc/core/Types$/Type.html b/api/dotty/tools/dotc/core/Types$/Type.html index 51b434199..ebb15d0c3 100644 --- a/api/dotty/tools/dotc/core/Types$/Type.html +++ b/api/dotty/tools/dotc/core/Types$/Type.html @@ -10728,7 +10728,7 @@ to the given type symbol?</p> <div class="member-title"> <span class="expand-button invisible" onclick="toggleMemberBody(this, 'isStable(ctx)');">[+]</span> <span class="member-annotations"> - @tailrec + </span> <span class="member-modifiers"> final |