diff --git a/compiler/src/main/scala/org/scalajs/core/compiler/GenJSCode.scala b/compiler/src/main/scala/org/scalajs/core/compiler/GenJSCode.scala
index fa35e529e4..612d3707e6 100644
--- a/compiler/src/main/scala/org/scalajs/core/compiler/GenJSCode.scala
+++ b/compiler/src/main/scala/org/scalajs/core/compiler/GenJSCode.scala
@@ -1514,7 +1514,7 @@ abstract class GenJSCode[G <: Global with Singleton](val global: G)
               mutatedLocalVars := mutable.Set.empty
           ) {
             def isTraitImplForwarder = dd.rhs match {
-              case app: Apply => foreignIsImplClass(app.symbol.owner)
+              case app: Apply => isImplClass(app.symbol.owner)
               case _          => false
             }
 
@@ -2724,7 +2724,7 @@ abstract class GenJSCode[G <: Global with Singleton](val global: G)
           genPrimitiveJSCall(tree, isStat)
         else
           genApplyJSClassMethod(genExpr(receiver), sym, genActualArgs(sym, args))
-      } else if (foreignIsImplClass(sym.owner)) {
+      } else if (isImplClass(sym.owner)) {
         genTraitImplApply(sym, args map genExpr)
       } else if (sym.isClassConstructor) {
         /* See #66: we have to emit a statically linked call to avoid calling a
diff --git a/compiler/src/main/scala/org/scalajs/core/compiler/JSEncoding.scala b/compiler/src/main/scala/org/scalajs/core/compiler/JSEncoding.scala
index 0c4289f8bd..7fd17f9efc 100644
--- a/compiler/src/main/scala/org/scalajs/core/compiler/JSEncoding.scala
+++ b/compiler/src/main/scala/org/scalajs/core/compiler/JSEncoding.scala
@@ -222,9 +222,6 @@ trait JSEncoding[G <: Global with Singleton] extends SubComponent {
     js.Ident(localSymbolName(sym), Some(sym.unexpandedName.decoded))
   }
 
-  def foreignIsImplClass(sym: Symbol): Boolean =
-    sym.isModuleClass && nme.isImplClassName(sym.name)
-
   def encodeClassType(sym: Symbol): jstpe.Type = {
     if (sym == definitions.ObjectClass) jstpe.AnyType
     else if (isRawJSType(sym.toTypeConstructor)) jstpe.AnyType
@@ -245,7 +242,7 @@ trait JSEncoding[G <: Global with Singleton] extends SubComponent {
   }
 
   def needsModuleClassSuffix(sym: Symbol): Boolean =
-    sym.isModuleClass && !foreignIsImplClass(sym)
+    sym.isModuleClass && !isImplClass(sym)
 
   def encodeComputedNameIdentity(sym: Symbol): String = {
     assert(sym.owner.isModuleClass, sym)
diff --git a/test-suite/shared/src/test/scala/org/scalajs/testsuite/compiler/RegressionTest.scala b/test-suite/shared/src/test/scala/org/scalajs/testsuite/compiler/RegressionTest.scala
index dfde41ec15..55568a78a7 100644
--- a/test-suite/shared/src/test/scala/org/scalajs/testsuite/compiler/RegressionTest.scala
+++ b/test-suite/shared/src/test/scala/org/scalajs/testsuite/compiler/RegressionTest.scala
@@ -784,6 +784,10 @@ class RegressionTest {
     assertEquals('a', d)
   }
 
+  @Test def nested_object_named_class_issue_3888(): Unit = {
+    assertEquals(6, `class`.foo(5))
+  }
+
 }
 
 object RegressionTest {
@@ -842,4 +846,8 @@ object RegressionTest {
     def overloaded(x: Any): Unit =
       fail("Bug3281.overloaded(x: Any) was called")
   }
+
+  object `class` { // scalastyle:ignore
+    def foo(x: Int): Int = x + 1
+  }
 }