From 0d89ab1fe4adfe7165a2e3812d76dbb586c79798 Mon Sep 17 00:00:00 2001 From: Adriaan Moors Date: Thu, 4 Feb 2016 15:26:57 -0800 Subject: SI-9449 sam expansion for explicitly eta-expanded method --- test/files/pos/t9449.scala | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 test/files/pos/t9449.scala (limited to 'test') diff --git a/test/files/pos/t9449.scala b/test/files/pos/t9449.scala new file mode 100644 index 0000000000..06653cca83 --- /dev/null +++ b/test/files/pos/t9449.scala @@ -0,0 +1,19 @@ +trait II { + def apply(x: Int): Int +} + +object Test { + def ii(x: Int): Int = x + def test = { + val ii1: II = x => ii(x) // works + val ii2: II = ii // works (adapting `ii` to `II`) + val ii3: II = ii _ // fails -- should work + // typedTyped({ii : (() => )}) + // typedEta(ii, pt = II) + // adapt(ii, pt = (? => ?)) + // instantiatedToMethodType(ii, pt = (? => ?)) + // val ii3: II = ii _ // error: + // found : Int => Int + // required: II + } +} \ No newline at end of file -- cgit v1.2.3