Skip to content

Commit 23c1e19

Browse files
Move i5521 and erased-singleton.scala to pending
Waiting to a TODO
1 parent c80d3ad commit 23c1e19

File tree

3 files changed

+4
-1
lines changed

3 files changed

+4
-1
lines changed

compiler/src/dotty/tools/dotc/transform/PostTyper.scala

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -295,7 +295,10 @@ class PostTyper extends MacroTransform with IdentityDenotTransformer { thisPhase
295295
Checking.checkAppliedType(tree, boundsCheck = !ctx.mode.is(Mode.Pattern))
296296
super.transform(tree)
297297
case SingletonTypeTree(ref) =>
298-
// Checking.checkRealizable(ref.tpe, ref.posd) // TODO
298+
Checking.checkRealizable(ref.tpe, ref.posd) // TODO
299+
// The following test cases rely on the check above:
300+
// mv tests/{pending,neg}/i5521.scala
301+
// mv tests/{pending,neg}/erased-singleton.scala
299302
super.transform(tree)
300303
case tree: TypeTree =>
301304
tree.withType(
File renamed without changes.

0 commit comments

Comments
 (0)