Skip to content

Commit d5e4269

Browse files
committed
revert some changes
1 parent d8ec8ff commit d5e4269

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
}
@@ -4527,10 +4527,10 @@ object Types {
45274527
def paramName: binder.ThisName = binder.paramNames(paramNum)
45284528

45294529
override def underlying(using Context): Type = {
4530-
val infos = binder.paramInfos
4531-
// if (infos == null) NoType // this can happen if the referenced generic type is not initialized yet
4532-
// else infos(paramNum)
4533-
infos(paramNum)
4530+
val infos: List[Type] | Null = binder.paramInfos
4531+
// TODO
4532+
if (infos == null) NoType // this can happen if the referenced generic type is not initialized yet
4533+
else infos(paramNum)
45344534
}
45354535

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

0 commit comments

Comments
 (0)