diff options
author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-04-09 16:57:55 +0200 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-04-09 16:57:55 +0200 |
commit | afa630a78b4f2cd9bd799b5a0199b99548f18aaa (patch) | |
tree | 9da8ad19573c8c913b47a232a3b57662aa660ec1 /src/dotty/tools/dotc/typer/ProtoTypes.scala | |
parent | 33f5d62bcbc6ec649e739958fc19c4524305471c (diff) | |
download | dotty-afa630a78b4f2cd9bd799b5a0199b99548f18aaa.tar.gz dotty-afa630a78b4f2cd9bd799b5a0199b99548f18aaa.tar.bz2 dotty-afa630a78b4f2cd9bd799b5a0199b99548f18aaa.zip |
Remove trailing spaces in Dotty source.
Diffstat (limited to 'src/dotty/tools/dotc/typer/ProtoTypes.scala')
-rw-r--r-- | src/dotty/tools/dotc/typer/ProtoTypes.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/dotty/tools/dotc/typer/ProtoTypes.scala b/src/dotty/tools/dotc/typer/ProtoTypes.scala index ac58615aa..eb5758662 100644 --- a/src/dotty/tools/dotc/typer/ProtoTypes.scala +++ b/src/dotty/tools/dotc/typer/ProtoTypes.scala @@ -165,7 +165,7 @@ object ProtoTypes { case class FunProto(args: List[untpd.Tree], resType: Type, typer: Typer)(implicit ctx: Context) extends UncachedGroundType with ApplyingProto { private var myTypedArgs: List[Tree] = Nil - + override def resultType(implicit ctx: Context) = resType /** A map in which typed arguments can be stored to be later integrated in `typedArgs`. */ @@ -247,7 +247,7 @@ object ProtoTypes { extends CachedGroundType with ApplyingProto { override def resultType(implicit ctx: Context) = resType - + def isMatchedBy(tp: Type)(implicit ctx: Context): Boolean = ctx.typer.isApplicable(tp, argType :: Nil, resultType) @@ -383,7 +383,7 @@ object ProtoTypes { tp.derivedRefinedType(wildApprox(tp.parent, theMap), tp.refinedName, wildApprox(tp.refinedInfo, theMap)) case tp: TypeAlias => // default case, inlined for speed tp.derivedTypeAlias(wildApprox(tp.alias, theMap)) - case tp @ PolyParam(poly, pnum) => + case tp @ PolyParam(poly, pnum) => ctx.typerState.constraint.entry(tp) match { case bounds: TypeBounds => wildApprox(WildcardType(bounds)) case NoType => WildcardType(wildApprox(poly.paramBounds(pnum)).bounds) |