Fallback erasing term references

Author: dwijnand

compiler/src/dotty/tools/dotc/core/TypeErasure.scala

@@ -239,8 +239,7 @@ object TypeErasure {
    *  TermRefs are kept instead of being widened away.
    */
   def erasedRef(tp: Type)(using Context): Type = tp match {
-    case tp: TermRef =>
-      assert(tp.symbol.exists, tp)
+    case tp: TermRef if tp.symbol.exists =>
       val tp1 = makePackageObjPrefixExplicit(tp)
       if (tp1 ne tp) erasedRef(tp1)
       else TermRef(erasedRef(tp.prefix), tp.symbol.asTerm)

tests/pos/i18721.min/core.scala

@@ -0,0 +1,5 @@
+class Foo
+class Bar extends Selectable:
+  def selectDynamic(name: String): Foo = null
+
+inline def meth(inline foo: Foo): Foo = foo

tests/pos/i18721.min/main.scala

@@ -0,0 +1,3 @@
+class Test:
+  def t1(bar: Bar { val foo: Foo }): Any =
+    meth(bar.foo)