diff options
Diffstat (limited to 'src/dotty/tools/dotc/core/Skolemization.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Skolemization.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/core/Skolemization.scala b/src/dotty/tools/dotc/core/Skolemization.scala index eef5f0e5d..8baf612ba 100644 --- a/src/dotty/tools/dotc/core/Skolemization.scala +++ b/src/dotty/tools/dotc/core/Skolemization.scala @@ -30,7 +30,7 @@ trait Skolemization { case tp: TypeProxy => ensureStableSingleton(tp.underlying) } - +/*@@@ /** If skolems were encountered, approximate a type `tp` with a type that * does not contain skolem types. * @param toSuper if true, return the smallest supertype of `tp` with this property @@ -137,7 +137,7 @@ trait Skolemization { this.seen = savedSeen } } - } + }*/ } object Skolemization extends Enumeration { |