From e38316ea2cb02da896e7043fdfa465888a77b2fd Mon Sep 17 00:00:00 2001 From: Chris Kipp Date: Sun, 14 May 2023 12:27:58 +0200 Subject: [PATCH] test: add in a regression test for #11255 [skip community_build] closes #11255 --- tests/pos/i11255.scala | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 tests/pos/i11255.scala diff --git a/tests/pos/i11255.scala b/tests/pos/i11255.scala new file mode 100644 index 000000000000..6dd1e100e696 --- /dev/null +++ b/tests/pos/i11255.scala @@ -0,0 +1,26 @@ +class A +class B extends A + +object O: + opaque type Id[T] = T + extension [T](id: Id[T]) def get: T = id + def f[S <: A, T](ff: S => T): Id[S => T] = ??? + def g[S <: A, T](ff: S => T): Option[S => T] = ??? + def h[S, T](ff: S => T): Id[S => T] = ??? + +object example: + import O._ + + val a = new A + val b = new B + + val f1 = f((a: A) => 0) + f1.get.apply(a) + val f2 = f((b: B) => 0) + f2.get.apply(b) + + val g1 = g((a: A) => 0) + g1.get.apply(a) + + val h1 = h((a: A) => 0) + h1.get.apply(a)