Update dependency scala to v3.0.2

[renovate]

This PR contains the following updates:

Package	Change	Age	Adoption	Passing	Confidence
scala	3.0.0-M3 -> 3.0.2

---

Release Notes

scala/scala3 (scala)

v3.0.2

Compare Source

Notable Changes

Language & syntax

• Don't insert semicolons in conditions unless indented #​12801
• Add escape hatch Selectable.WithoutPreciseParameterTypes #​12268
• Add Matchable to the parents of Null in explicit nulls #​12697

Scaladoc

• Add no links warning setting to scaladoc #​12936
• Search for methods also by type signature #​12375

Metaprogramming

• Map opaque types in arguments of inlined calls to proxies #​12922
• Don't forget side effects in prefixes of inlined function calls #​12842
• Drop "no inlines with opaques" implementation restriction #​12815
• Detect abstract inline method calls after inlining #​12777
• Fix implicit ValueOf synthesis #​12615

Other improvements

• Add Scala 3 batch commands for Windows #​13006
• Fix #​12981: show diagnostics levels (warn | error) in REPL #​13000
• Use WeakHashSet instead of HashSet for hash-consing types #​12935
• Balance And/Or types when forming lubs and glbs #​12928
• Restricts isInstanceOf[Null] checks #​12905
• Add support for shallow capture sets #​12875
• Drop implementation restriction for polymorphic functions #​12863
• Preserve hard unions in more situations #​12654
• Better support type-heavy pattern matches #​12549

Other bug fixes

• Fix #​13046: override is a valid identifier in Java, not a keyword #​13048
• Don't emit Java generic signatures for constructors #​13047
• Exhaustivity warnings on nested case classes #​13030
• Refine overriding pairs in RefChecks #​12982
• Let annotations on parameters see preceding type parameters #​12980
• Retain transparent flag on exports #​12978
• Widen unions before finding members #​12925
• ProtoTypes#normalizedCompatible: keep more constraints #​12924
• Detect provisional superclasses and recompute them in Typer #​12912
• Properly handle self-types in reflection member lookup #​12893
• Use Java rules for member lookup in .java sources #​12884
• Hide problematic static forwarders #​12860
• When checking tp1 <:< tycon2[args2], widen tp1 to reveal application #​12846
• Skip contexts for implicit search when resolving imports #​12816
• Insert conversions also on selections wrapped in type applications #​12719
• Emit generic signature for static forwarders to nullary methods #​12710
• Always generate a partial function from a lambda #​12670
• Fix #​12572: Ignore default accessor bridges in non-native JS classes. #​12657
• Do not update source positions once initizlized #​13201
• Pick right type parameters for opaqueToBounds in TreeUnpickler #​13206
• Avoid crash by relaxing TyperState assertion #​13150

Contributors

Thank you to all the contributors who made this release possible 🎉

According to git shortlog -sn --no-merges 3.0.1..3.0.2 these are:

    94  Martin Odersky
    60  Liu Fengyun
    47  Kacper Korban
    28  Filip Zybała
    18  Andrzej Ratajczak
    17  Guillaume Martres
    15  Jamie Thompson
    10  bjornregnell
     9  tanishiking
     8  Dylan Halperin
     8  Anatolii Kmetiuk
     8  Tom Grigg
     7  Paweł Marks
     5  Som Snytt
     5  changvvb
     5  Michał Pałka
     5  Krzysztof Romanowski
     4  Aleksander Boruch-Gruszecki
     4  Sébastien Doeraene
     4  Nicolas Stucki
     3  Phil
     3  Magnolia.K
     2  xuwei-k
     2  Ben Plommer
     2  Florian Schmaus
     2  Lukas Rytz
     2  Maciej Gorywoda
     2  Markus Sutter
     2  Roman Kotelnikov
     2  Stéphane Micheloud
     2  noti0na1
     2  vincenzobaz
     1  Ondrej Lhotak
     1  KazuyaMiayshita
     1  odersky
     1  Julian Mendez
     1  Anton Sviridov
     1  GavinRay97
     1  EnzeXing
     1  Tomas Mikula
     1  Tomasz Godzik
     1  Vaastav Arora
     1  Vadim Chelyshov
     1  Will Sargent
     1  Zofia Bartyzel
     1  Dale Wijnand
     1  Bjorn Regnell
     1  dmitrii.naumenko
     1  Adrien Piquerez
     1  Meriam Lachkar
     1  Martin
     1  Olivier Blanvillain
     1  Lorenzo Gabriele

Reporting Bugs

If you encounter a bug, please open an issue! 🙏

v3.0.1

Compare Source

Notable changes (in comparison to 3.0.0)

Language

• Add @​experimental annotation #​12102
• A simpler implementation of init checker #​12495
• Allow _ as a type lambda placeholder in -Ykind-projector:underscores compatiblity mode #​12378
• Support variance annotations in -Ykind-projector mode #​12341
• Better error message for errors arising from implicit completions #​12002
• Explain match type reduction failures in error messages #​12053

Metaprogramming

• Cache quote unpickling #​12242
• Add Expr.valueOrAbort and reflect.report.errorAndAbort #​12056
• Avoid pickled tasty for some captured quote reference #​12248
• Improve quote matcher performance #​12418
• Port scala.quoted.runtime.impl.QuoteMatcher #​12402
• Check transparent inline type argument bounds #​12334
• Improve constant folding logic #​12080
• Support inline val references in top level splices #​12235

Scaladoc

• Snippet compiler #​11582
• Update user manual for scaladoc #​12083

Bug fixes

• IArray.toArray: Deprecate broken method #​12598
• Fix comparison of dependent function types #​12214
• Make translucentSuperType handle match types #​12153
• Harden Type Inference #​12560
• Reject references to self in super constructor calls #​12567
• Provide mirror support after inlining #​12062
• Allow export paths to see imports #​12134
• Streamline given syntax #​12107
• Export constructor proxies #​12311
• Identify package and nested package object in isSubPrefix #​12297
• Treat Refinements more like AndTypes #​12317
• Fix #​9871: use toNestedPairs in provablyDisjoint #​10560
• Fix TypeTest exhaustivity check #​12059
• TreeUnpickler: fix cycle involving param accessor #​12873

Other

• record end markers in trees and semanticdb, exclude top level def wrappers #​12541
• Use stringOf from REPL to avoid trimming #​11562
• sbt bridge reporting improvements #​12845

Contributors

Thank you to all the contributors who made this release possible 🎉

According to git shortlog -sn --no-merges 3.0.0..3.0.1 these are:

   122	Martin Odersky
   111	Liu Fengyun
    98	Nicolas Stucki
    32	Guillaume Martres
    24	Phil
    20	Olivier Blanvillain
    14	Tom Grigg
    14	Adrien Piquerez
    13	Natsu Kagami
    12	Andrzej Ratajczak
    10	Anatolii Kmetiuk
    10	Aleksander Boruch-Gruszecki
    10	odersky
     8	Jamie Thompson
     7	Michał Pałka
     6	Maxime Kjaer
     5	Krzysztof Romanowski
     5	Som Snytt
     3	Fengyun Liu
     3	noti0na1
     3	Filip Zybała
     3	Phil Walker
     3	Kai
     2	soronpo
     2	Kacper Korban
     2	Raphael Jolly
     2	Adam Warski
     2	tanishiking
     2	Vadim Chelyshov
     2	Sébastien Doeraene
     2	Johannes Rudolph
     1	xuwei-k
     1	Alexander Ioffe
     1	David Barri
     1	Devon Stewart
     1	Dmitrii Naumenko
     1	Ivan Kurchenko
     1	Jakub Kozłowski
     1	Jonas Ackermann
     1	Kevin Lee
     1	Markus Sutter
     1	Martin
     1	Miles Sabin
     1	Oron Port
     1	Paweł Marks
     1	Ruslan Shevchenko
     1	Seth Tisue
     1	nogurenn
     1	nurekata

Reporting Bugs

If you encounter a bug, please open an issue! 🙏

---

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• If you want to rebase/retry this PR, check this box

---

This PR was generated by Mend Renovate. View the repository job log.