Scala Programming Language
  1. Scala Programming Language
  2. SI-6758

Lazy annotations for DefDef and TypeDef don't get forced until refchecks

    Details

      Description

      class AnnotNotFound {
        def foo(a: Any) = ()
      
        foo {
          @inargument
          def foo = 0
          foo
        }
      
        () => {
          @infunction
          def foo = 0
          ()
        }
      
        @classs
        class C
      
        class D[@typeparam T]
      
        class E(
        	@valueparam x: Any
        )
      }
      

      The errors for inargument and infunction are not issued until the other errors are resolved.

        Issue Links

          Activity

          Hide
          Hubert Plociniczak added a comment -

          Looks like as a result of 25ecde037f22ff some local annotations don't get forced at all until refchecks when we call .atp on them. After talking to Martin this doesn't seem like a desired behaviour.

          Show
          Hubert Plociniczak added a comment - Looks like as a result of 25ecde037f22ff some local annotations don't get forced at all until refchecks when we call .atp on them. After talking to Martin this doesn't seem like a desired behaviour.
          Show
          Adriaan Moors added a comment - https://github.com/scala/scala/pull/1747

            People

            • Assignee:
              Hubert Plociniczak
              Reporter:
              Jason Zaugg
            • Votes:
              0 Vote for this issue
              Watchers:
              3 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved:

                Development