Add ReactiveMongo-BSON to community-build

[cchantep]

No description provided.

[smarter]

[error] -- Error: /__w/dotty/dotty/community-build/community-projects/ReactiveMongo-BSON/api/src/main/scala-3/MacroImpl.scala:478:25 
[error] 478 |      val underlying = f(self)
[error]     |                         ^^^^
[error]     |Cannot prove that the value is fully initialized. May only use initialized value as arguments.

You should be able to reproduce this failure in your project locally by compiling with -Ysafe-init which is enabled by default in the community build, see https://dotty.epfl.ch/docs/reference/other-new-features/safe-initialization.html for more information (in particular it mentions that @unchecked can be used to suppress initialization checks if needed).

[cchantep]

Now failure seems unrelated:

Failed projects:
 - dotty.communitybuild.CommunityBuildTestA.zio

Also: #14195

[olhotak]

For projects such as this one that compile with fatal warnings, we disable the initialization checker by adding the following line in community-build/src/scala/dotty/communitybuild/projects.scala :

    scalacOptions = SbtCommunityProject.scalacOptions.filter(_ != "-Ysafe-init")

I tried to do this and re-enable the full project, but was blocked by two issues:

• The project then has other errors unrelated to initialization checking.
• I do not have permission to push commits to the branch underlying this PR.

The first error I get is:

[error] -- Error: /home/olhotak/git/dotty/community-build/community-projects/ReactiveMongo-BSON/geo/src/main/scala/Geometry.scala:36:18 
[error] 36 |    Macros.handler[GeoGeometry]
[error]    |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[error]    |Exception occurred while executing macro expansion.
[error]    |scala.quoted.runtime.impl.ScopeException: Expression created in a splice was used outside of that splice.
[error]    |Created in: api/src/main/scala-3/MacroImpl.scala:533 at column 13
[error]    |Used in: api/src/main/scala-3/MacroImpl.scala:1642 at column 22
[error]    |Expr: forwardBSONWriter
[error]    |
[error]    |
[error]    |Creation stack:
[error]    |	api/src/main/scala-3/MacroImpl.scala:533 at column 13
[error]    |	api/src/main/scala-3/Macros.scala:222 at column 5
[error]    |
[error]    |
[error]    |Use stack:
[error]    |	api/src/main/scala-3/MacroImpl.scala:1642 at column 22
[error]    |	api/src/main/scala-3/Macros.scala:222 at column 5

[smarter]

[error] |scala.quoted.runtime.impl.ScopeException: Expression created in a splice was used outside of that splice.

I assume this is because the community build is run with -Xcheck-macros, so this indicate a real problem in the original project

[cchantep]

[error] |scala.quoted.runtime.impl.ScopeException: Expression created in a splice was used outside of that splice.

I assume this is because the community build is run with -Xcheck-macros, so this indicate a real problem in the original project

I disagree, as indicated in another issue, this option is raising false error.

[nicolasstucki]

[error] |scala.quoted.runtime.impl.ScopeException: Expression created in a splice was used outside of that splice.

I assume this is because the community build is run with -Xcheck-macros, so this indicate a real problem in the original project

I disagree, as indicated in another issue, this option is raising false error.

With a quick look over MacroImpl.scala I saw that use usual QuotesHelper helper antipattern has used. This is most likely the cause of the failure as it decontextualizes the Quotes context by cashing some instances of it. Therefore all scopes are not correctly tracked causing the -XcheckMacros to fail and quadratic times when expanding quotes (to fix wrong owners).

The solution is to always pass the Quotes context as a context.