diff --git a/tests/pos/i6693.scala b/tests/pos/i6693.scala
new file mode 100644
index 000000000000..7d57950f5ef8
--- /dev/null
+++ b/tests/pos/i6693.scala
@@ -0,0 +1,16 @@
+package towers.computes
+
+import quoted._
+
+sealed abstract class Computes[T]
+
+object Computes {
+
+  opaque type Opaque[T] = Int
+
+  implicit class ComputesApplication1[T : Type](fn : Computes[Opaque[T]]) {
+    def apply[A](arg1 : Computes[A]) : Computes[T] = ???
+  }
+
+  def let[V, T : Type](value : Computes[V], body : Computes[Opaque[T]]) : Computes[T] = body(value)
+}