diff options
author | Martin Odersky <odersky@gmail.com> | 2016-01-24 20:48:21 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-02-19 14:00:56 +0100 |
commit | 1d585f1172d563051c0710008568b3b53728281f (patch) | |
tree | f468212b60047076d1e3f977521f5857d64ad70e /src/dotty/tools/dotc/typer/TypeAssigner.scala | |
parent | 356e59c2d25963cde8dae309881550f3635da7f3 (diff) | |
download | dotty-1d585f1172d563051c0710008568b3b53728281f.tar.gz dotty-1d585f1172d563051c0710008568b3b53728281f.tar.bz2 dotty-1d585f1172d563051c0710008568b3b53728281f.zip |
Use hasNamedArgs instead of repeating test inline.
Diffstat (limited to 'src/dotty/tools/dotc/typer/TypeAssigner.scala')
-rw-r--r-- | src/dotty/tools/dotc/typer/TypeAssigner.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/TypeAssigner.scala b/src/dotty/tools/dotc/typer/TypeAssigner.scala index 5282ca5d3..9ee67684d 100644 --- a/src/dotty/tools/dotc/typer/TypeAssigner.scala +++ b/src/dotty/tools/dotc/typer/TypeAssigner.scala @@ -395,7 +395,7 @@ trait TypeAssigner { errorType(s"named and positional type arguments may not be mixed", arg.pos) } val ownType = - if (args.head.isInstanceOf[NamedArg]) (tycon.tpe /: args)(refineNamed) + if (hasNamedArg(args)) (tycon.tpe /: args)(refineNamed) else if (sameLength(tparams, args)) tycon.tpe.appliedTo(args.tpes) else errorType(d"wrong number of type arguments for ${tycon.tpe}, should be ${tparams.length}", tree.pos) tree.withType(ownType) |