scala3-compiler-bootstrapped/dotty.tools.dotc.typer/Implicits/OfTypeImplicits

OfTypeImplicits

class OfTypeImplicits(tp: Type, val companionRefs: TermRefSet)(initctx: Context) extends ImplicitRefs

The implicit references coming from the implicit scope of a type.

Value Params
companionRefs

the companion objects in the implicit scope.

tp

the type determining the implicit scope

class Object
trait Matchable
class Any

Value members

Concrete methods

override def isAccessible(ref: TermRef)(using Context): Boolean
Definition Classes
override def toString: String
Definition Classes
Any

Inherited methods

protected def filterMatching(pt: Type)(using Context): List[Candidate]

Return those references in refs that are compatible with type pt.

Return those references in refs that are compatible with type pt.

Inherited from
ImplicitRefs
def level: Int

The nesting level of this context. Non-zero only in ContextialImplicits

The nesting level of this context. Non-zero only in ContextialImplicits

Inherited from
ImplicitRefs

Concrete fields

lazy val eligible: List[Candidate]

The candidates that are eligible for expected type tp

The candidates that are eligible for expected type tp

Inherited fields

final lazy protected val Context: Context
Inherited from
ImplicitRefs
val irefCtx: Context
Inherited from
ImplicitRefs