Skip to content

Commit b89c4af

Browse files
committed
Add CaseAccessor flag for case accessors
Was missing before.
1 parent d388e94 commit b89c4af

File tree

2 files changed

+3
-2
lines changed

2 files changed

+3
-2
lines changed

src/dotty/tools/dotc/ast/Desugar.scala

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -388,8 +388,9 @@ object desugar {
388388
val tparamAccessors = derivedTparams map { tdef =>
389389
cpy.TypeDef(tdef, originalTparams.next.mods, tdef.name, tdef.rhs, tdef.tparams)
390390
}
391+
val caseAccessor = if (mods is Case) CaseAccessor else EmptyFlags
391392
val vparamAccessors = derivedVparamss.flatten map { vdef =>
392-
cpy.ValDef(vdef, originalVparams.next.mods, vdef.name, vdef.tpt, vdef.rhs)
393+
cpy.ValDef(vdef, originalVparams.next.mods | caseAccessor, vdef.name, vdef.tpt, vdef.rhs)
393394
}
394395
cpy.TypeDef(cdef, mods, name,
395396
cpy.Template(impl, constr, parents1, self1,

src/dotty/tools/dotc/core/Flags.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -304,7 +304,7 @@ object Flags {
304304
/** Info can be refined during GADT pattern match */
305305
final val GADTFlexType = typeFlag(25, "<gadt-flex-type>")
306306

307-
/** A case parameter (or its accessor, or a GADT skolem) */
307+
/** A case parameter accessor */
308308
final val CaseAccessor = termFlag(26, "<caseaccessor>")
309309

310310
/** An type parameter which is an alias for some other (non-visible) type parameter */

0 commit comments

Comments
 (0)