We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 3ec8b86 commit a1755a6Copy full SHA for a1755a6
compiler/src/dotty/tools/dotc/inlines/Inliner.scala
@@ -399,7 +399,9 @@ class Inliner(val call: tpd.Tree)(using Context):
399
* type aliases, add proxy definitions to `opaqueProxies` that expose these aliases.
400
*/
401
private def addOpaqueProxies(tp: Type, span: Span, forThisProxy: Boolean)(using Context): Unit =
402
- tp.foreachPartWithoutTypeParams {
+ val foreachPartFiltered =
403
+ (p: Type => Unit) => if (forThisProxy) tp.foreachPartWithoutTypeParams(p) else tp.foreachPart(p)
404
+ foreachPartFiltered {
405
case ref: TermRef =>
406
for cls <- ref.widen.baseClasses do
407
if cls.containsOpaques
0 commit comments