Skip to content

Commit bbc0e2c

Browse files
committed
revert some changes
1 parent c859c09 commit bbc0e2c

File tree

1 file changed

+6
-6
lines changed

1 file changed

+6
-6
lines changed

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

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -3918,8 +3918,8 @@ object Types {
39183918
&& {
39193919
val bs1 = new BinderPairs(this, that, bs)
39203920
// `paramInfos` and `resType` might still be uninstantiated at this point
3921-
// TODO: test remove null check
3922-
// paramInfos != null && resType != null &&
3921+
// TODO:
3922+
(paramInfos: List[TypeBounds] | Null) != null && (resType: Type | Null) != null &&
39233923
paramInfos.equalElements(that.paramInfos, bs1) &&
39243924
resType.equals(that.resType, bs1)
39253925
}
@@ -4518,10 +4518,10 @@ object Types {
45184518
def paramName: binder.ThisName = binder.paramNames(paramNum)
45194519

45204520
override def underlying(using Context): Type = {
4521-
val infos = binder.paramInfos
4522-
// if (infos == null) NoType // this can happen if the referenced generic type is not initialized yet
4523-
// else infos(paramNum)
4524-
infos(paramNum)
4521+
val infos: List[Type] | Null = binder.paramInfos
4522+
// TODO
4523+
if (infos == null) NoType // this can happen if the referenced generic type is not initialized yet
4524+
else infos(paramNum)
45254525
}
45264526

45274527
override def computeHash(bs: Binders | Null): Int = doHash(paramNum, binder.identityHash(bs))

0 commit comments

Comments
 (0)