Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

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

Closed
scabug opened this issue Dec 3, 2012 · 3 comments
Closed

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

scabug opened this issue Dec 3, 2012 · 3 comments
Assignees
@hubertp
Labels
typer usability
Milestone
2.10.1

Comments

@scabug
Copy link

scabug commented Dec 3, 2012 

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.
@scabug
Copy link
Author

scabug commented Dec 3, 2012

Imported From: https://issues.scala-lang.org/browse/SI-6758?orig=1
Reporter: @retronym
Affected Versions: 2.10.0-M2, 2.10.0-M7
Clones #6558

@scabug
Copy link
Author

scabug commented Dec 6, 2012

@hubertp said:
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.

@scabug
Copy link
Author

scabug commented Dec 12, 2012

@adriaanm said:
scala/scala#1747

@scabug scabug closed this as completed Dec 12, 2012
@scabug scabug added this to the 2.10.1 milestone Apr 7, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@hubertp hubertp

Labels
typer usability
Projects
None yet
Milestone
2.10.1
Development

No branches or pull requests
2 participants
@hubertp @scabug