diff options
author | Adriaan Moors <adriaan@lightbend.com> | 2017-04-04 17:30:00 -0700 |
---|---|---|
committer | Adriaan Moors <adriaan@lightbend.com> | 2017-04-04 17:30:00 -0700 |
commit | b722e61682807772093cc499415d58a76fc2d0ab (patch) | |
tree | fe4f1d05f97a8b4cd6d8aee0b0f9481bd5eabae6 /test/files/pos | |
parent | 94dd1dcb3f062cf96f84507abab417f7bea78e8c (diff) | |
download | scala-b722e61682807772093cc499415d58a76fc2d0ab.tar.gz scala-b722e61682807772093cc499415d58a76fc2d0ab.tar.bz2 scala-b722e61682807772093cc499415d58a76fc2d0ab.zip |
`CompleterWrapper` delegates `typeParams`.
Fixes the problem reported with #5730 by xuwei-k in scala/scala-dev#352.
Diffstat (limited to 'test/files/pos')
-rw-r--r-- | test/files/pos/userdefined_apply_poly_overload.scala | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/test/files/pos/userdefined_apply_poly_overload.scala b/test/files/pos/userdefined_apply_poly_overload.scala new file mode 100644 index 0000000000..6760c1424f --- /dev/null +++ b/test/files/pos/userdefined_apply_poly_overload.scala @@ -0,0 +1,13 @@ +object Foo { + // spurious error if: + // - this definition precedes that of apply (which is overloaded with the synthetic one derived from the case class) + // - AND `Foo.apply` is explicitly applied to `[A]` (no error if `[A]` is inferred) + // + def referToPolyOverloadedApply[A]: Foo[A] = Foo.apply[A]("bla") + // ^ + // found : String("bla") + // required: Int + + def apply[A](x: Int): Foo[A] = ??? +} +case class Foo[A](x: String) // must be polymorphic |