Make more Definition methods depend on implicit context argument

The problem is that exploration methods are run and phase dependent,
whereas Definitions has an implicit context that freezes the period
when Definitions ewas created.

We should complement this by splitting Definitions into a global and
per/run part, but that is independent of the change in this commit.

1 files changed, 5 insertions, 5 deletions

diff --git a/src/dotty/tools/dotc/core/Definitions.scala b/src/dotty/tools/dotc/core/Definitions.scala
index d04a26883..594f0c013 100644
--- a/src/dotty/tools/dotc/core/Definitions.scala
+++ b/src/dotty/tools/dotc/core/Definitions.scala
@@ -409,20 +409,20 @@ class Definitions {
 
   lazy val RootImports = List[Symbol](JavaLangPackageVal, ScalaPackageVal, ScalaPredefModule, DottyPredefModule)
 
-  def isTupleType(tp: Type) = {
+  def isTupleType(tp: Type)(implicit ctx: Context) = {
     val arity = tp.dealias.argInfos.length
     arity <= MaxTupleArity && (tp isRef TupleClass(arity))
   }
 
-  def isProductSubType(tp: Type) =
+  def isProductSubType(tp: Type)(implicit ctx: Context) =
     (tp derivesFrom ProductClass) && tp.baseClasses.exists(ProductClasses contains _)
 
-  def isFunctionType(tp: Type) = {
+  def isFunctionType(tp: Type)(implicit ctx: Context) = {
     val arity = functionArity(tp)
     0 <= arity && arity <= MaxFunctionArity && (tp isRef FunctionClass(arity))
   }
 
-  def functionArity(tp: Type) = tp.dealias.argInfos.length - 1
+  def functionArity(tp: Type)(implicit ctx: Context) = tp.dealias.argInfos.length - 1
 
   // ----- LambdaXYZ traits ------------------------------------------
 
@@ -544,7 +544,7 @@ class Definitions {
   val BooleanEnc = 17
   val UnitEnc = 19
 
-  def isValueSubClass(cls1: Symbol, cls2: Symbol) =
+  def isValueSubClass(cls1: Symbol, cls2: Symbol)(implicit ctx: Context) =
     valueClassEnc(cls2) % valueClassEnc(cls1) == 0
 
   // ----- Initialization ---------------------------------------------------