diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-10-02 15:54:16 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-10-02 16:13:00 +0200 |
| commit | e5119a058ff11cc0cca565c22c29f090401d794b (patch) | |
| tree | 3e3ee85bae8b26dd18df108ee7804927c16e148b /src/dotty/tools/dotc/core/Types.scala | |
| parent | 6821bac06b34c416ca94216025b864e73592cbe7 (diff) | |
| download | dotty-e5119a058ff11cc0cca565c22c29f090401d794b.tar.gz dotty-e5119a058ff11cc0cca565c22c29f090401d794b.tar.bz2 dotty-e5119a058ff11cc0cca565c22c29f090401d794b.zip | |
Address @smarter's review comments
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index 00286156a..2f1b6b829 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -2448,7 +2448,7 @@ object Types { } /** Add @inlineParam to inline call-by-value parameters */ def translateInline(tp: Type): Type = tp match { - case tp @ ExprType(tp1) => tp + case _: ExprType => tp case _ => AnnotatedType(tp, Annotation(defn.InlineParamAnnot)) } def paramInfo(param: Symbol): Type = { @@ -2580,7 +2580,7 @@ object Types { x => paramBounds mapConserve (_.subst(this, x).bounds), x => resType.subst(this, x)) - /** Merge nested polytypes into one polytype. nested polytypes are normally not suported + /** Merge nested polytypes into one polytype. nested polytypes are normally not supported * but can arise as temporary data structures. */ def flatten(implicit ctx: Context): PolyType = resType match { |