diff --git a/compiler/frontend/src/org/jetbrains/kotlin/types/expressions/ExpressionTypingVisitorDispatcher.java b/compiler/frontend/src/org/jetbrains/kotlin/types/expressions/ExpressionTypingVisitorDispatcher.java
index 1fdce57765c..ea0a09b32ba 100644
--- a/compiler/frontend/src/org/jetbrains/kotlin/types/expressions/ExpressionTypingVisitorDispatcher.java
+++ b/compiler/frontend/src/org/jetbrains/kotlin/types/expressions/ExpressionTypingVisitorDispatcher.java
@@ -194,7 +194,15 @@ public abstract class ExpressionTypingVisitorDispatcher extends KtVisitor<Kotlin
                     // todo save scope before analyze and fix debugger: see CodeFragmentAnalyzer.correctContextForExpression
                     BindingContextUtilsKt.recordScope(context.trace, context.scope, expression);
                     BindingContextUtilsKt.recordDataFlowInfo(context.replaceDataFlowInfo(result.getDataFlowInfo()), expression);
-                    recordTypeInfo(expression, result);
+                    try {
+                        // Here we have to resolve some types, so the following exception is possible
+                        // Example: val a = ::a, fun foo() = ::foo
+                        recordTypeInfo(expression, result);
+                    }
+                    catch (ReenteringLazyValueComputationException e) {
+                        context.trace.report(TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM.on(expression));
+                        return TypeInfoFactoryKt.noTypeInfo(context);
+                    }
                     return result;
                 }
                 catch (ProcessCanceledException e) {
diff --git a/compiler/testData/diagnostics/tests/regressions/ea76264.kt b/compiler/testData/diagnostics/tests/regressions/ea76264.kt
new file mode 100644
index 00000000000..941e1fac55e
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/regressions/ea76264.kt
@@ -0,0 +1,4 @@
+// StackOverflow
+val p = <!TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM!>::p<!>
+
+fun foo() = <!TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM!>::foo<!>
\ No newline at end of file
diff --git a/compiler/testData/diagnostics/tests/regressions/ea76264.txt b/compiler/testData/diagnostics/tests/regressions/ea76264.txt
new file mode 100644
index 00000000000..532057053cd
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/regressions/ea76264.txt
@@ -0,0 +1,4 @@
+package
+
+public val p: [ERROR : Type for ::p]
+public fun foo(): [ERROR : Error function type]
diff --git a/compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestGenerated.java b/compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestGenerated.java
index 6a2b6c3fe97..e806ea22094 100644
--- a/compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestGenerated.java
+++ b/compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestGenerated.java
@@ -13224,6 +13224,12 @@ public class DiagnosticsTestGenerated extends AbstractDiagnosticsTest {
                 doTest(fileName);
             }
 
+            @TestMetadata("ea76264.kt")
+            public void testEa76264() throws Exception {
+                String fileName = KotlinTestUtils.navigationMetadata("compiler/testData/diagnostics/tests/regressions/ea76264.kt");
+                doTest(fileName);
+            }
+
             @TestMetadata("ErrorsOnIbjectExpressionsAsParameters.kt")
             public void testErrorsOnIbjectExpressionsAsParameters() throws Exception {
                 String fileName = KotlinTestUtils.navigationMetadata("compiler/testData/diagnostics/tests/regressions/ErrorsOnIbjectExpressionsAsParameters.kt");