Commits on Oct 31, 2013

1. SI-7944 FOUND: stray undetermined type params in vicinity of implicits …

   Implicit search created a nested Context into which the results of
   its typechecking, namely, errors and undetermined type parameters
   (roughly: those inferred as Nothing) are stashed.
   
   The code the drives the process was checking for errors, but
   discarded those undetermined type parameters.
   
   This commit copies them from the child context to the parent,
   which lets `Typer#adapt` to get to:
   
       else if (hasUndetsInMonoMode) { // (9)
         assert(!context.inTypeConstructorAllowed, context) //@m
         instantiatePossiblyExpectingUnit(tree, mode, pt)
       }
   
   Our lost TypeVar has found its way home! The reward for which
   is being instantiated, based on another type inference session
   adapting the expression's type to the expected type.

   

   retronym committed Oct 31, 2013
   Copy the full SHA

   251c2b9 View commit details

   Browse the repository at this point in the history