From 9161b114dc0bfa92d0a72ea78ef674644dce8077 Mon Sep 17 00:00:00 2001
From: Guillaume Martres <smarter@ubuntu.com>
Date: Tue, 21 Feb 2023 19:01:42 +0100
Subject: [PATCH] Fix caching issue caused by incorrect isProvisional check

A static TypeRef can still be provisional if it's currently being completed (see
the logic in `Namer#TypeDefCompleter#typeSig`).

Fixes #16950.
---
 compiler/src/dotty/tools/dotc/core/Types.scala |  5 ++---
 tests/pos/i16950.scala                         | 11 +++++++++++
 2 files changed, 13 insertions(+), 3 deletions(-)
 create mode 100644 tests/pos/i16950.scala

diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
index d4fa6a819dc4..b9f4ce48092b 100644
--- a/compiler/src/dotty/tools/dotc/core/Types.scala
+++ b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -118,10 +118,9 @@ object Types {
         if t.mightBeProvisional then
           t.mightBeProvisional = t match
             case t: TypeRef =>
-              !t.currentSymbol.isStatic && {
+              t.currentSymbol.isProvisional || !t.currentSymbol.isStatic && {
                 (t: Type).mightBeProvisional = false // break cycles
-                t.symbol.isProvisional
-                || test(t.prefix, theAcc)
+                test(t.prefix, theAcc)
                 || t.denot.infoOrCompleter.match
                     case info: LazyType => true
                     case info: AliasingBounds => test(info.alias, theAcc)
diff --git a/tests/pos/i16950.scala b/tests/pos/i16950.scala
new file mode 100644
index 000000000000..ac95a477136e
--- /dev/null
+++ b/tests/pos/i16950.scala
@@ -0,0 +1,11 @@
+object Foo:
+  def bar(x : Bar.YOf[Any]): Unit = ???
+
+trait K:
+  type CType <: Bar.YOf[Any]
+  def foo : K =
+    val x : CType = ???
+    x // was: error: Found: CType, Expected: K
+
+object Bar:
+  type YOf[T] = K { type M }