1 files changed, 13 insertions, 0 deletions
diff --git a/tests/untried/neg-with-implicits/t3977.scala b/tests/untried/neg-with-implicits/t3977.scala
new file mode 100644
index 000000000..11a8cdba4
--- /dev/null
+++ b/tests/untried/neg-with-implicits/t3977.scala
@@ -0,0 +1,13 @@
+trait Bool {
+  type If[T]
+}
+
+trait False extends Bool {
+  type If[F] = F
+}
+
+class Field[E, N <: Bool](implicit val w: N#If[E]) {
+  type NoNull = Field[E, False]
+
+  new NoNull
+}