From 1215454a25975fc8f654a3b171b64b9e387ccf98 Mon Sep 17 00:00:00 2001 From: Jason Zaugg Date: Thu, 13 Mar 2014 09:55:28 +0100 Subject: [PATCH] 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] ^ --- src/dotty/tools/dotc/printing/PlainPrinter.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/dotty/tools/dotc/printing/PlainPrinter.scala b/src/dotty/tools/dotc/printing/PlainPrinter.scala index e5f85d11b108..7acea3ba660a 100644 --- a/src/dotty/tools/dotc/printing/PlainPrinter.scala +++ b/src/dotty/tools/dotc/printing/PlainPrinter.scala @@ -104,7 +104,7 @@ class PlainPrinter(_ctx: Context) extends Printer { toTextPrefix(tp.prefix) ~ selectionString(tp) case tp: RefinedType => // return tp.toString // !!! DEBUG - val parent :: (refined: List[RefinedType]) = + val parent :: (refined: List[RefinedType @unchecked]) = refinementChain(tp).reverse toTextLocal(parent) ~ "{" ~ Text(refined map toTextRefinement, "; ").close ~ "}" case AndType(tp1, tp2) =>