diff --git a/tests/pos/i15546.scala b/tests/pos/i15546.scala new file mode 100644 index 000000000000..19c7f15b24f1 --- /dev/null +++ b/tests/pos/i15546.scala @@ -0,0 +1,14 @@ +// https://github.com/lampepfl/dotty/issues/15546 + +trait Foo[F[_]] + +object Bug { + def apply[F[_]: Foo]( + await: Boolean, + whatever: Int = 0 + ): Nothing = ??? + + def apply[F[_]: Foo]: Nothing = + apply[F](false) +} +