Skip to content

Commit 81b4250

Browse files
committed
Adapt presentation compiler
1 parent ba3c94c commit 81b4250

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

Diff for: compiler/src/dotty/tools/dotc/util/Signatures.scala

+1-1
Original file line numberDiff line numberDiff line change
@@ -499,7 +499,7 @@ object Signatures {
499499

500500
def isSyntheticEvidence(name: String) =
501501
name.startsWith(NameKinds.ContextBoundParamName.separator)
502-
&& symbol.paramSymss.flatten.find(_.name.show == name).exists(_.flags.is(Flags.Implicit))
502+
&& symbol.paramSymss.flatten.find(_.name.show == name).exists(_.flags.isOneOf(Flags.GivenOrImplicit))
503503

504504
def toTypeParam(tpe: PolyType): List[Param] =
505505
val evidenceParams = (tpe.paramNamess.flatten zip tpe.paramInfoss.flatten).flatMap:

Diff for: presentation-compiler/src/main/dotty/tools/pc/printer/ShortenedTypePrinter.scala

+1-1
Original file line numberDiff line numberDiff line change
@@ -296,7 +296,7 @@ class ShortenedTypePrinter(
296296
val (methodParams, extParams) = splitExtensionParamss(gsym)
297297
val paramss = methodParams ++ extParams
298298
lazy val implicitParams: List[Symbol] =
299-
paramss.flatMap(params => params.filter(p => p.is(Flags.Implicit)))
299+
paramss.flatMap(params => params.filter(p => p.isOneOf(Flags.GivenOrImplicit)))
300300

301301
lazy val implicitEvidenceParams: Set[Symbol] =
302302
implicitParams

0 commit comments

Comments
 (0)