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

Add sources of synthetic classes to sources jar #20904

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

Florian3k
Copy link
Contributor

Closes #20073

@Gedochao Gedochao requested a review from sjrd July 3, 2024 11:24
@WojciechMazur WojciechMazur added this to the 3.5.1 milestone Jul 3, 2024
@WojciechMazur WojciechMazur added the backport:accepted This PR needs to be backported, once it's been backported replace this tag by "backport:done" label Jul 3, 2024
Comment on lines +3 to +5
/** The super-type of all types.
*
* See [[https://docs.scala-lang.org/scala3/reference/other-new-features/kind-polymorphism.html]].
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nit:

Suggested change
/** The super-type of all types.
*
* See [[https://docs.scala-lang.org/scala3/reference/other-new-features/kind-polymorphism.html]].
/** The super-type of all types.
*
* See [[https://docs.scala-lang.org/scala3/reference/other-new-features/kind-polymorphism.html]].

Same in the other files.

*
* See [[https://docs.scala-lang.org/scala3/reference/other-new-features/kind-polymorphism.html]].
*/
final abstract class AnyKind
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It makes no sense for this type to be final. It definitely has subclasses, including AnyRef.

Suggested change
final abstract class AnyKind
abstract class AnyKind

*
* See [[https://docs.scala-lang.org/scala3/reference/new-types/intersection-types.html]].
*/
type &[A, B] = A & B
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This awfully looks like a circular definition. Consider leaving it abstract instead?

Suggested change
type &[A, B] = A & B
type &[A, B]

Same for |.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backport:accepted This PR needs to be backported, once it's been backported replace this tag by "backport:done"
Projects
None yet
Development

Successfully merging this pull request may close these issues.

publish sources of synthetic classes and types in -sources.jar artefacts
3 participants