A class that records an available implicit
A class that sets up an implicit search.
The result of an implicit search
An extractor for unary function types arg => res
An extractor for types of the form ? { name: ? }
An extractor for types of the form ? { name: (? >: argtpe <: Any*)restp }
A sentinel indicating no implicit was found
Search for an implicit value.
Search for an implicit value. See the comment on result
at the end of class ImplicitSearch
for more info how the search is conducted.
The tree for which the implicit needs to be inserted. (the inference might instantiate some of the undetermined type parameters of that tree.
The expected type of the implicit.
Should ambiguous implicit errors be reported? False iff we search for a view to find out whether one type is coercible to another.
We are looking for a view
The current context
False if any divergent/ambiguous errors should be ignored after implicits search, true if they should be reported (used in further typechecking).
A search result
A constructor for types ?{ name: tp }, used in infer view to member searches.
This trait provides methods to find various kinds of implicits.
1.0