lampepfl/dotty — pull request #66 by retronym (2014-03-13 09:02:00+00:00)
Title: Silence unchecked warning

Was:

[warn] /Users/jason/code/dotty/src/dotty/tools/dotc/printing/PlainPrinter.scala:107: non-variable type argument dotty.tools.dotc.core.Types.RefinedType in type pattern List[dotty.tools.dotc.core.Types.RefinedType] is unchecked since it is eliminated by erasure
[warn] val parent :: (refined: List[RefinedType]) =
[warn] ^