OfTypeImplicits

dotty.tools.dotc.typer.Implicits.OfTypeImplicits
class OfTypeImplicits(tp: Type, val companionRefs: TermRefSet)(initctx: Context) extends ImplicitRefs

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

Value parameters

companionRefs

the companion objects in the implicit scope.

tp

the type determining the implicit scope

Attributes

Graph
Supertypes
class ImplicitRefs
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

override def isAccessible(ref: TermRef)(using Context): Boolean

Attributes

Definition Classes
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

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.

Attributes

Inherited from:
ImplicitRefs
def level: Int

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

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

Attributes

Inherited from:
ImplicitRefs

Concrete fields

override val companionRefs: TermRefSet

If comes from an implicit scope of a type, the companion objects making up that implicit scope, otherwise the empty set.

If comes from an implicit scope of a type, the companion objects making up that implicit scope, otherwise the empty set.

Attributes

lazy val eligible: List[Candidate]

The candidates that are eligible for expected type tp

The candidates that are eligible for expected type tp

Attributes

lazy val refs: List[ImplicitRef]

The implicit references

The implicit references

Attributes

Inherited fields

Attributes

Inherited from:
ImplicitRefs

Givens

Inherited givens

protected given given_Context: Context

Attributes

Inherited from:
ImplicitRefs