The implicit scope of a type tp
The implicit scope of a type tp
A context to be used when computing the class symbols of a type. Types may contain type variables with their instances recorded in the current context. To find out the instance of a type variable, we need the current context, the current runinfo context does not do.
A map that counts the number of times an implicit ref was picked
Info relating to implicits that is kept for one run