From f8aa4b3b56bae1cb0bf0f94a2f2b80b4443aa447 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Fri, 25 Mar 2016 21:18:49 +0100 Subject: Fix documentation of liftIfHK --- src/dotty/tools/dotc/core/TypeComparer.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/dotty/tools/dotc/core/TypeComparer.scala') diff --git a/src/dotty/tools/dotc/core/TypeComparer.scala b/src/dotty/tools/dotc/core/TypeComparer.scala index 833adf008..c5321572c 100644 --- a/src/dotty/tools/dotc/core/TypeComparer.scala +++ b/src/dotty/tools/dotc/core/TypeComparer.scala @@ -1086,7 +1086,7 @@ class TypeComparer(initctx: Context) extends DotClass with ConstraintHandling { * * C[type T], D[type U] * - * Then do you expand `C & D` to `[T, U] -> C[T, U] & D[T, U]` or not? Under the named + * Then do you expand `C & D` to `[T] -> C[T] & D[T]` or not? Under the named * type parameter interpretation, this would be wrong whereas under the traditional * higher-kinded interpretation this would be required. The problem arises from * allowing both interpretations. A possible remedy is to be somehow stricter -- cgit v1.2.3