Skip to content

Review treatment of inherited package object members #239

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

Closed
retronym opened this issue Nov 22, 2014 · 0 comments · Fixed by #282
Closed

Review treatment of inherited package object members #239

retronym opened this issue Nov 22, 2014 · 0 comments · Fixed by #282

Comments

@retronym
Copy link
Member

Issue to track my comments here:

8b38acb#diff-0ba7adf93cd67dcb7a0498c060187256R111

retronym referenced this issue Nov 22, 2014
Package object members are seen as members of the enclosing package during
typer. The normalization inserts the missing .package reference to such members.

It is necessary to satisfy a new postcondition of FirstTransform: In a selection `x.m`,
the type of `x` must derive from the owner of `m`.
odersky added a commit to dotty-staging/dotty that referenced this issue Dec 13, 2014
References to `.package` are now also inserted if the
accessed member comes from a class inherited by a package
object.
odersky added a commit to dotty-staging/dotty that referenced this issue Dec 13, 2014
References to `.package` are now also inserted if the
accessed member comes from a class inherited by a package
object.
odersky added a commit that referenced this issue Dec 16, 2014
tgodzik added a commit to tgodzik/scala3 that referenced this issue Apr 29, 2025
Backport "Correctly detect colon lambda eol indent for optional brace of argument" to 3.3 LTS
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants