Skip to content

Commit c04683b

Browse files
committed
Fix toVariance in MemberBinding
1 parent 775eb8a commit c04683b

File tree

2 files changed

+4
-1
lines changed

2 files changed

+4
-1
lines changed

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

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3108,7 +3108,10 @@ object Types {
31083108

31093109
object BindingKind {
31103110
def fromVariance(v: Int): BindingKind = new BindingKind((v + NonvariantBinding.n).toByte)
3111-
def toVariance(bk: BindingKind): Int = bk.n
3111+
def toVariance(bk: BindingKind): Int = {
3112+
assert(bk.n != 0)
3113+
bk.n - NonvariantBinding.n
3114+
}
31123115
}
31133116

31143117
// ----- Annotated and Import types -----------------------------------------------

0 commit comments

Comments
 (0)