Skip to content

Commit 62d00e6

Browse files
committed
Fix #3702: Drop failing assertion
The dropped assertion fails when we are looking for an annotation
1 parent f4abdd8 commit 62d00e6

File tree

2 files changed

+8
-1
lines changed

2 files changed

+8
-1
lines changed

compiler/src/dotty/tools/dotc/typer/Namer.scala

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -48,7 +48,6 @@ trait NamerContextOps { this: Context =>
4848
val elem = scope.lastEntry
4949
if (elem.name == name) return elem.sym.denot // return self
5050
}
51-
assert(scope.size <= 1, scope)
5251
owner.thisType.member(name)
5352
}
5453
else // we are in the outermost context belonging to a class; self is invisible here. See inClassContext.

tests/neg/i3702.scala

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
object test {
2+
class annot extends scala.annotation.Annotation
3+
def foo = {
4+
def bar(i: Int): Int = i
5+
@annot class Silly {}
6+
bar(5)
7+
}
8+
}

0 commit comments

Comments
 (0)