diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-11-21 18:28:25 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-11-24 14:57:49 +0100 |
| commit | 917f58fe1de3f0237c9133ccda462f8af52124f8 (patch) | |
| tree | 3655173fa3fafaeb0fd90de888f940021fa6e0ba /src/dotty/tools/dotc/printing/RefinedPrinter.scala | |
| parent | a468a864dcdb89091985c194737968a979e874fb (diff) | |
| download | dotty-917f58fe1de3f0237c9133ccda462f8af52124f8.tar.gz dotty-917f58fe1de3f0237c9133ccda462f8af52124f8.tar.bz2 dotty-917f58fe1de3f0237c9133ccda462f8af52124f8.zip | |
Better printing of variant types with wildcard arguments.
We used to approximate these by their bounds, but this is confusing.
See comment in printbounds.scala.
Diffstat (limited to 'src/dotty/tools/dotc/printing/RefinedPrinter.scala')
| -rw-r--r-- | src/dotty/tools/dotc/printing/RefinedPrinter.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/printing/RefinedPrinter.scala b/src/dotty/tools/dotc/printing/RefinedPrinter.scala index 12ac03bd0..a5f1c07fd 100644 --- a/src/dotty/tools/dotc/printing/RefinedPrinter.scala +++ b/src/dotty/tools/dotc/printing/RefinedPrinter.scala @@ -97,7 +97,7 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) { } tp match { case tp: RefinedType => - val args = tp.argInfos + val args = tp.argInfos(interpolate = false) if (args.nonEmpty) { val tycon = tp.unrefine val cls = tycon.typeSymbol |