Skip to content

Commit 2b5707b

Browse files
Opaque flag is immutable wrt completion only after load
Part of the mechanics of how opaque types work is by setting the `opaque` flag at the objects that own them.
1 parent b6481f9 commit 2b5707b

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -438,7 +438,7 @@ object Flags {
438438
val FromStartFlags: FlagSet = commonFlags(
439439
Module, Package, Method, Case,
440440
HigherKinded, Param, ParamAccessor,
441-
Scala2ExistentialCommon, Mutable, Opaque, Touched, JavaStatic,
441+
Scala2ExistentialCommon, Mutable, Touched, JavaStatic,
442442
OuterOrCovariant, LabelOrContravariant, CaseAccessor,
443443
Extension, NonMember, Implicit, Given, Permanent, Synthetic,
444444
SuperAccessorOrScala2x, Inline)
@@ -449,7 +449,7 @@ object Flags {
449449
* is completed)
450450
*/
451451
val AfterLoadFlags: FlagSet = commonFlags(
452-
FromStartFlags, AccessFlags, Final, AccessorOrSealed, LazyOrTrait, SelfName, JavaDefined)
452+
FromStartFlags, Opaque, AccessFlags, Final, AccessorOrSealed, LazyOrTrait, SelfName, JavaDefined)
453453

454454
/** Flags that are not mutated during completion when a certain
455455
* condition is satisfied

0 commit comments

Comments
 (0)