Unresolved const in specs

src/main/kotlin/org/move/lang/core/psi/ext/MvElement.kt

@@ -76,9 +76,6 @@ private fun PsiElement.isMslInner(): Boolean {
     return CachedValuesManager.getProjectPsiDependentCache(this) {
         var element: PsiElement? = it
         while (element != null) {
-            // use items always non-msl, otherwise import resolution doesn't work correctly
-            if (element is MvUseSpeck) return@getProjectPsiDependentCache false
-
             // module items
             if (element is MvModule
                 || element is MvFunction

src/test/kotlin/org/move/ide/inspections/MvUnresolvedReferenceInspectionTest.kt

@@ -597,4 +597,18 @@ module 0x1::m {
             }
         }
     """)
+
+    fun `test no unresolved reference for const in spec`() = checkByText("""
+        module 0x1::features {
+            const PERMISSIONED_SIGNER: u64 = 84;
+
+        }
+        module 0x1::m {}
+        spec 0x1::m {
+            spec fun is_permissioned_signer(): bool {
+                use 0x1::features::PERMISSIONED_SIGNER;
+                PERMISSIONED_SIGNER;
+            }
+        }
+    """)
 }

src/test/kotlin/org/move/lang/resolve/ResolveVariablesTest.kt

@@ -776,4 +776,19 @@ module 0x1::string_tests {
             }
         }        
     """)
+
+    fun `test const accessible from spec functions`() = checkByCode("""
+        module 0x1::features {
+            const PERMISSIONED_SIGNER: u64 = 84;
+                   //X
+
+        }
+        module 0x1::m {}
+        spec 0x1::m {
+            spec fun is_permissioned_signer(): bool {
+                use 0x1::features::PERMISSIONED_SIGNER;
+                PERMISSIONED_SIGNER;
+                //^
+            }
+        }    """)
 }