Fixes SI-6558: typecheck lazy annotation info using non-silent context.

Make context for typing lazy annotations always non-silent. If lazy annotation info was created in local (silent) context, error could go unnoticed because later they would still use silent typer for typing the annotation.

1 files changed, 9 insertions, 0 deletions

diff --git a/test/files/neg/t6558.scala b/test/files/neg/t6558.scala
new file mode 100644
index 0000000000..92c788f21e
--- /dev/null
+++ b/test/files/neg/t6558.scala
@@ -0,0 +1,9 @@
+class AnnotNotFound {
+  def foo(a: Any) = ()
+
+  foo {
+    @sth
+    def foo = 0
+    foo
+  }
+}