ContextualImplicits

dotty.tools.dotc.typer.Implicits$.ContextualImplicits
class ContextualImplicits(val refs: List[ImplicitRef], val outerImplicits: ContextualImplicits | Null, isImport: Boolean)(initctx: Context) extends ImplicitRefs

The implicit references coming from the context.

Attributes

outerCtx

the next outer context that makes visible further implicits

refs

the implicit references made visible by the current context. Note: The name of the reference might be different from the name of its symbol. In the case of a renaming import a => b, the name of the reference is the renamed name, b, whereas the name of the symbol is the original name, a.

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

The implicit references that are eligible for type tp.

The implicit references that are eligible for type tp.

Attributes

This context, or a copy, ensuring root import from symbol root is not present in outer implicits.

This context, or a copy, ensuring root import from symbol root is not present in outer implicits.

Attributes

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

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

Inherited from:
ImplicitRefs
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

Concrete fields

override val level: Int

The level increases if current context has a different owner or scope than the context of the next-outer ImplicitRefs. This is however disabled under Scala2 mode, since we do not want to change the implicit disambiguation then.

The level increases if current context has a different owner or scope than the context of the next-outer ImplicitRefs. This is however disabled under Scala2 mode, since we do not want to change the implicit disambiguation then.

Attributes

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