WithoutPreciseParameterTypes (original) (raw)

scala.Selectable.WithoutPreciseParameterTypes

A marker trait for subclasses of Selectable indicating that precise parameter types are not needed for method dispatch. That is, a class inheriting from this trait and implementing

   def applyDynamic(name: String, paramTypes: Class[_]*)(args: Any*)

should dispatch to a method with the given name without having to rely on the precise paramTypes. Subtypes of WithoutPreciseParameterTypes can have more relaxed subtyping rules for refinements. They do not need the additional restriction that the signatures of the refinement and the definition that implements the refinement must match.

Attributes

Source

Selectable.scala

Graph

Supertypes

In this article