File tree 1 file changed +1
-5
lines changed
compiler/src/dotty/tools/dotc/inlines
1 file changed +1
-5
lines changed Original file line number Diff line number Diff line change @@ -383,9 +383,6 @@ class Inliner(val call: tpd.Tree)(using Context):
383
383
*/
384
384
private val opaqueProxies = new mutable.ListBuffer [(TermRef , TermRef )]
385
385
386
- /** TermRefs for which we already started synthesising proxies */
387
- private val visitedTermRefs = new mutable.HashSet [TermRef ]
388
-
389
386
protected def hasOpaqueProxies = opaqueProxies.nonEmpty
390
387
391
388
/** Map first halves of opaqueProxies pairs to second halves, using =:= as equality */
@@ -413,9 +410,8 @@ class Inliner(val call: tpd.Tree)(using Context):
413
410
for cls <- ref.widen.baseClasses do
414
411
if cls.containsOpaques
415
412
&& (forThisProxy || inlinedMethod.isContainedIn(cls))
416
- && ! visitedTermRefs.contains (ref)
413
+ && mapRef (ref).isEmpty
417
414
then
418
- visitedTermRefs += ref
419
415
val refiningRef = OpaqueProxy (ref, cls, call.span)
420
416
val refiningSym = refiningRef.symbol.asTerm
421
417
val refinedType = refiningRef.info
You can’t perform that action at this time.
0 commit comments