From 881c3b182fda1036d5a507d08ff85f7709d70703 Mon Sep 17 00:00:00 2001 From: dotty-bot Date: Fri, 3 Feb 2017 18:05:53 +0000 Subject: Update gh-pages site for da7d7231b7f21fe1085abc569eb783590074a359 --- api/dotty/tools/dotc/core/Types$/CachedType.html | 26 +++++++++++++++++++++++- 1 file changed, 25 insertions(+), 1 deletion(-) (limited to 'api/dotty/tools/dotc/core/Types$/CachedType.html') diff --git a/api/dotty/tools/dotc/core/Types$/CachedType.html b/api/dotty/tools/dotc/core/Types$/CachedType.html index 45d0efb75..38412363c 100644 --- a/api/dotty/tools/dotc/core/Types$/CachedType.html +++ b/api/dotty/tools/dotc/core/Types$/CachedType.html @@ -5321,6 +5321,9 @@
+ + + @@ -5330,6 +5333,17 @@ CachedType + + +
+ + + extends + + Type + +
+
@@ -5339,7 +5353,17 @@
-

Members

+

+ Constructors +

+ +
+ +
+ +

+ Members +

-- cgit v1.2.3