dotty-feature-requests
dotty-feature-requests copied to clipboard
lampepfl
Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-requests
In lampepfl/dotty#6023 @anatoliykmetyuk asked a theoretical question, and @smarter forwarded it to me, to investigate it in DOT. > I have not found a proof anywhere that `F[A] & F[B]
This request is paraphrased from this issue on Dotty proper, which started as an improvement I was planning on implementing for inliner internals: https://github.com/lampepfl/dotty/issues/8294#issuecomment-585328641. Now it seems we need a...
If you're drilling down into an API and click on something you (today) see the docs for that object/class/trait. What you don't see anywhere is the package that object/class/trait lives...
A match type is apparently not a subtype of the union of it branches. So this for instance does not work: ```Scala def flip: (x: 0 | 1) => x.type...
Reopening https://github.com/lampepfl/dotty/issues/7885 as a feature request, as suggested by @odersky. --- I think this is a known problem, but I did not find an issue currently documenting it. Scala has...
Some libraries that never return null instead opt for a package level default not null annotation, which marks everything as not null. Would be neat if Dotty's explicit nulls would...
As of yet, ```scala type I = [X > X type K = [X > [Y > X type S = [X[_][_] > [Y[_] > [Z > X[Z][Y[Z]] @main def...
If a `case class` definition does not have additional modifiers such as `abstract` or `sealed` make it `final` by default.
Dotty has advanced us to [Multiversal Equality](http://dotty.epfl.ch/docs/reference/other-new-features/multiversal-equality.html), which is great, but I feel can be better now that we have [Extension Methods](http://dotty.epfl.ch/docs/reference/other-new-features/extension-methods.html) in the language. **Problem**: Say I wish to...
First, thank you for adding `scala.compiletime.testing.typeChecks`! In a statistically typed language it is nice to be able to verify that specified code does not compile and to have this as...
