Scala 2.13.17 release planning

That is a warning behind the flag -Xlint:infer-any.

Probably it needs a tweak, or a different name.

Note that this is a warning, not an error. It’s only promoted to an error if you’re using -Werror, or the equivalent -Xfatal-warnings, or some equivalent -Wconf configuration.

If you want to enable -Xlint but disable this particular warning, you can do it with -Xlint:_,-infer-any. This may be easier than controlling the behavior with -Wconf or @nowarn.

Please report the issue at GitHub - scala/bug: Scala 2 bug reports only. Please, no questions — proper bug reports only. so we can consider making adjustments for 2.13.18.

For quill users who stumble on this thread you might also want to use -Xlint:_,-infer-structural. It’s spammed for every query now.

1 Like

If anyone wants to further discuss the new “inferred structural type” warning, the PR in question is Lint inferred structural types by lrytz · Pull Request #10942 · scala/scala · GitHub — comments are welcome there. I just added a comment mentioning the -Xlint:_,-infer-structural workaround.

As for the issue with new “a type was inferred to be kind-polymorphic” warnings, there is now a ticket at New warning with 2.13.17: a type was inferred to be kind-polymorphic `Nothing` to conform to `F[_]` · Issue #13128 · scala/bug · GitHub , we can discuss details there.

1 Like

I just added a comment mentioning the -Xlint:_,-infer-structural workaround.

Hi,

In our case (using Cats Effect), we enable neither -Xlint:_ nor infer-structural. We do enable -Xlint:infer-any so the workaround is to remove it. Sad.

One bit of tooling that we normally wait for is scoverage, but I’m going to go ahead and announce anyway even though scoverage hasn’t published. The scoverage project could use more maintainers and contributors; if you’d like to help, you could start by seeing if you can help get chore: add support for Scala 2.13.17 by dejan2609 · Pull Request #712 · scoverage/scalac-scoverage-plugin · GitHub over the finish line.

2.13.17 is announced!

The release notes now explicitly call attention to the two linting issues we’ve discussed in this thread.

I’ll start the 2.13.18 discussion thread in a moment.

-Wconf:cat=lint-infer-any&msg=kind-polymorphic:s

to silence the warning.

3 Likes

I added a “known issues / regressions” section to the release notes.

1 Like

We decided to expedite the 2.13.18 release, see here: Scala 2.13.18 release planning - #4 by lrytz