aboutsummaryrefslogtreecommitdiff
path: root/compiler/src/dotty/tools/dotc/core/Types.scala
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/src/dotty/tools/dotc/core/Types.scala')
-rw-r--r--compiler/src/dotty/tools/dotc/core/Types.scala4
1 files changed, 1 insertions, 3 deletions
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
index 217e5e351..fc0569e6f 100644
--- a/compiler/src/dotty/tools/dotc/core/Types.scala
+++ b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -2335,8 +2335,6 @@ object Types {
}
}
- trait MethodOrPoly extends MethodicType
-
/** The lambda type square:
*
* LambdaType | TermLambda | TypeLambda
@@ -2344,7 +2342,7 @@ object Types {
* HKLambda | HKTermLambda | HKTypeLambda
* StarLambda | MethodType | PolyType
*/
- trait LambdaType extends BindingType with MethodOrPoly { self =>
+ trait LambdaType extends BindingType with MethodicType { self =>
type ThisName <: Name
type PInfo <: Type
type This <: LambdaType{type PInfo = self.PInfo}