diff options
author | Martin Odersky <odersky@gmail.com> | 2016-02-18 14:07:03 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-02-20 10:19:56 +0100 |
commit | e4989b3cc13f70d8316790e309b5d3b27317d80e (patch) | |
tree | f0e2492607d221323585924a003cb57ab665c54e /src/dotty/tools/dotc/transform/ClassOf.scala | |
parent | f6391c780ce7472352b60da9fdd7ec8d7496a0ea (diff) | |
download | dotty-e4989b3cc13f70d8316790e309b5d3b27317d80e.tar.gz dotty-e4989b3cc13f70d8316790e309b5d3b27317d80e.tar.bz2 dotty-e4989b3cc13f70d8316790e309b5d3b27317d80e.zip |
Synthesize classTags in Typer.
Now diagnoses missing ClassTags of abstract types
as implicit failures.
Also: Simpler API of tpd.clsOf.
Diffstat (limited to 'src/dotty/tools/dotc/transform/ClassOf.scala')
-rw-r--r-- | src/dotty/tools/dotc/transform/ClassOf.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/transform/ClassOf.scala b/src/dotty/tools/dotc/transform/ClassOf.scala index 51a68f903..f8f4991c8 100644 --- a/src/dotty/tools/dotc/transform/ClassOf.scala +++ b/src/dotty/tools/dotc/transform/ClassOf.scala @@ -31,7 +31,7 @@ class ClassOf extends MiniPhaseTransform { override def transformTypeApply(tree: TypeApply)(implicit ctx: Context, info: TransformerInfo): Tree = if (tree.symbol eq classOfMethod) { val targ = tree.args.head.tpe - tree.clsOf(targ, Literal(Constant(TypeErasure.erasure(targ)))) + clsOf(targ).ensureConforms(tree.tpe).withPos(tree.pos) } else tree } |