Scala 3.7.1

What's new in this version:

Highlights of the release:
- Support for JDK 25
- Warn if interpolator uses toString
- Warn if match in block is not used for PartialFunction

Other changes and fixes:

Annotations:
- Approximate annotated types in wildApprox
- Keep unused annot on params

Erasure:
- Disallow context function types as value-class parameters

Experimental: Capture Checking:
- Two fixes to handling of abstract types with cap bounds
- Drop idempotent type maps
- Fix setup of class constructors

Experimental: Unroll:
- Fix

Experimental: Referencable Package Objects:
- Add experimental.packageObjectValues language setting

Exports:
- Respect export alias for default arg forwarder

Extension Methods:
- Extension check checks for no parens not empty parens

GADTs:
- Fix: Prevent GADT reasoning in pattern alternatives

Linting:
- Dealias when looking into imports
- Process Export for unused check
- Drill into QuotePattern bindings symbol info
- No warn implicit param of overriding method
- No warn for evidence params of marker traits such as NotGiven
- Mention extension in unused param warning
- Remove premature caching of lookups for unused lint
- Enclosing package p.q not visible as q

Inline:
- Revert recent changes to opaque type proxy generation

Initialization:
- Check for tasty error in template trees.

Metaprogramming: Compile-time:
- Fix issue with certain synthetics missing in compiletime.typechecks

Named Tuples:
- Call dealias after stripping type variables for tupleElementTypesUpTo
- Avoid loosing denotations of named types during integrate

Pattern Matching:
- Fix existing GADT constraints with introduced pattern-bound symbols

Pickling:
- Fix fromProduct synthesized code for parameter-dependent case classes

Presentation Compiler:
- Completions for requests just before string
- Fix: go to def should lead to all: apply, object and class
- Ignore ending $ when looking at end marker names
- Feature: Skip auto importing symbols we know are wrong in current context
- Show the Autofill completion case as what would be auto-filled
- Bugfix: Fix issues with annotations not detected
- Improvement: Rework IndexedContext to reuse the previously calculated scopes
- Pc: Properly adjust indentation when inlining blocks
- Improvement: Support using directives in worksheets
- Fix: show hover for synthetics if explicitly used
- Pc: fix: inline value when def indentation equals 2

Rewrites:
- Fix insertion of using in applications with trailing lambda syntax
- Test chars safely when highlighting

Reporting:
- Print infix operations in infix form

Runner:
- Bump Scala CLI to v1.8.0 (was v1.7.1)

Scaladoc:
- Chore: add support for 'abstract override' modifier
- Scaladoc: fix generation of unique header ids

Settings:
- Filter allowed source versions by import and by settings

Typer:
- Disallow context bounds in type lambdas
- Refuse trailing type parameters in extractors
- Fix
- Fix isGenericArrayElement for higher-kinded types
- Tighten condition to preserve denotation in IntegrateMap

Transform:
- Mix in the productPrefix hash statically in case class hashCode

Value Classes:
- Fix: Disallow value classes extending type aliases of AnyVal