1 files changed, 13 insertions, 0 deletions
diff --git a/test/files/neg/t3977.scala b/test/files/neg/t3977.scala
new file mode 100644
index 0000000000..f55a832c52
--- /dev/null
+++ b/test/files/neg/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 NotNull = Field[E, False]
+
+  new NotNull
+}
+\ No newline at end of file