From 9d66f8688291cb59ad78784d792dcf28a5527142 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Sun, 17 Jul 2016 11:05:23 +0200 Subject: Adress reviewers comments --- src/dotty/tools/dotc/typer/Applications.scala | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) (limited to 'src/dotty/tools/dotc/typer/Applications.scala') diff --git a/src/dotty/tools/dotc/typer/Applications.scala b/src/dotty/tools/dotc/typer/Applications.scala index 7a742112b..56183d2ff 100644 --- a/src/dotty/tools/dotc/typer/Applications.scala +++ b/src/dotty/tools/dotc/typer/Applications.scala @@ -554,12 +554,11 @@ trait Applications extends Compatibility { self: Typer with Dynamic => if (proto.isTupled) proto = proto.tupled // If some of the application's arguments are function literals without explicitly declared - // parameter types, and the expected type is a value type, relate the - // normalized result type of the application with the expected type through `<:<`. - // This can add more constraints which help sharpen the inferred parameter - // types for the argument function literal(s). - // This tweak is needed to make i1348 compile. - if (tree.args.exists(untpd.isFunctionWithImplicitParamType(_))) + // parameter types, relate the normalized result type of the application with the + // expected type through `constrainResult`. This can add more constraints which + // help sharpen the inferred parameter types for the argument function literal(s). + // This tweak is needed to make i1378 compile. + if (tree.args.exists(untpd.isFunctionWithUnknownParamType(_))) if (!constrainResult(fun1.tpe.widen, proto.derivedFunProto(resultType = pt))) typr.println(i"result failure for $tree with type ${fun1.tpe.widen}, expected = $pt") -- cgit v1.2.3