diff options
author | Martin Odersky <odersky@gmail.com> | 2016-07-16 15:21:12 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-07-16 15:21:21 +0200 |
commit | 0eb2d76c467a53786ae6147c9c983c23ab0894c8 (patch) | |
tree | 44db7e49882c87f2906d6d21dca564c0d5407d38 /tests/pos/i1378.scala | |
parent | bd45ecc06b04c3788d1ce706508eed5e0c50b50b (diff) | |
download | dotty-0eb2d76c467a53786ae6147c9c983c23ab0894c8.tar.gz dotty-0eb2d76c467a53786ae6147c9c983c23ab0894c8.tar.bz2 dotty-0eb2d76c467a53786ae6147c9c983c23ab0894c8.zip |
Proparage function result constrains when inferring parameter types
If an application has functions with implicit parameter types we need to be
more aggressive about propagating knowledge of the expected result type into
the constraint.
Fixes #1378.
Diffstat (limited to 'tests/pos/i1378.scala')
-rw-r--r-- | tests/pos/i1378.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/pos/i1378.scala b/tests/pos/i1378.scala new file mode 100644 index 000000000..31475daf2 --- /dev/null +++ b/tests/pos/i1378.scala @@ -0,0 +1,3 @@ +object Test { + (1, x => 2): (Int, Int => Int) +} |