From 9d1e5a6d9d9fb4392747ff15ca12fbe8eb4bf6a4 Mon Sep 17 00:00:00 2001 From: noti0na1 Date: Fri, 19 Jan 2024 01:04:13 +0100 Subject: [PATCH] Change the name of dummy type parameter --- compiler/src/dotty/tools/dotc/typer/Namer.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/src/dotty/tools/dotc/typer/Namer.scala b/compiler/src/dotty/tools/dotc/typer/Namer.scala index 86a84adca56d..ecbb48f641cc 100644 --- a/compiler/src/dotty/tools/dotc/typer/Namer.scala +++ b/compiler/src/dotty/tools/dotc/typer/Namer.scala @@ -788,7 +788,7 @@ class Namer { typer: Typer => private var myNotNullInfos: List[NotNullInfo] | Null = null /** The context with which this completer was created */ - given creationContext[T]: Context = + given creationContext[Dummy_so_its_a_def]: Context = if myNotNullInfos == null then ictx else ictx.withNotNullInfos(myNotNullInfos.nn) // make sure testing contexts are not captured by completers