From fdbb918fc6eb50273c8a8e68f0884eb25f116a90 Mon Sep 17 00:00:00 2001
From: Nicolas Stucki <nicolas.stucki@gmail.com>
Date: Thu, 9 Jan 2020 15:18:26 +0100
Subject: [PATCH] Fix #6693: Add regression test

---
 tests/pos/i6693.scala | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 tests/pos/i6693.scala

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)
+}