diff options
| author | Paul Phillips <paulp@improving.org> | 2013-05-26 15:33:29 -0700 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2013-05-26 16:46:36 -0700 |
| commit | de249bab42c36b2ce2f5af478a98ce411ab5c9b3 (patch) | |
| tree | 3b5800b71433c0d6c77bcee1c7658437822d18ce /src/compiler/scala/tools/nsc/typechecker/Implicits.scala | |
| parent | 41073f8db662906ada4b779f199ea6d5f4bd5e1f (diff) | |
| download | scala-de249bab42c36b2ce2f5af478a98ce411ab5c9b3.tar.gz scala-de249bab42c36b2ce2f5af478a98ce411ab5c9b3.tar.bz2 scala-de249bab42c36b2ce2f5af478a98ce411ab5c9b3.zip | |
Print raw types correctly.
The "For convenience, these are usable as stub implementations"
bit has generated surprisingly few angry letters, but I noticed
today it blows it on raw types. Or, used to blow it.
/** As seen from class Sub, the missing signatures are as follows.
* For convenience, these are usable as stub implementations.
* (First one before this commitw as 'def raw(x$1: M_1)'
*/
def raw(x$1: M_1[_ <: String]): Unit = ???
def raw(x$1: Any): Unit = ???
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/Implicits.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Implicits.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Implicits.scala b/src/compiler/scala/tools/nsc/typechecker/Implicits.scala index a6a3a4911f..5622f67459 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Implicits.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Implicits.scala @@ -273,7 +273,8 @@ trait Implicits { /** An extractor for types of the form ? { name: (? >: argtpe <: Any*)restp } */ object HasMethodMatching { - val dummyMethod = NoSymbol.newTermSymbol(newTermName("typer$dummy")) + val dummyMethod = NoSymbol.newTermSymbol("typer$dummy") setInfo NullaryMethodType(AnyTpe) + def templateArgType(argtpe: Type) = new BoundedWildcardType(TypeBounds.lower(argtpe)) def apply(name: Name, argtpes: List[Type], restpe: Type): Type = { |