Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update dependency org.scala-lang:scala3-compiler_3 to v3.4.2 #143

Closed
wants to merge 1 commit into from
Closed

Update dependency org.scala-lang:scala3-compiler_3 to v3.4.2 #143

wants to merge 1 commit into from

Conversation

renovate[bot]
Copy link
Contributor

@renovate renovate bot commented May 26, 2024

Mend Renovate

This PR contains the following updates:

Package Change Age Adoption Passing Confidence
org.scala-lang:scala3-compiler_3 3.3.1 -> 3.4.2 age adoption passing confidence

Release Notes

scala/scala3 (org.scala-lang:scala3-compiler_3)

v3.4.2

Compare Source

Highlights of the release
  • Bump JLine 3.19.0 -> 3.24.1 & sbt 1.9.7 -> 1.9.9 #​19744
  • Refactor settings & improve dx #​19766
  • Publish scala2-library-tasty-experimental #​19588
  • Repl - method signatures in autocomplete #​19917
Other changes and fixes
Annotations
  • Attempt implicit search for old style implicit parameters in Application matchArgs #​19737
Backend
  • Fix(#​17255): cannot find Scala companion module from Java #​19773
  • Change isStatic to isStaticOwner in hasLocalInstantiation #​19803
Coverage
  • Port coverage filter options for packages and files #​19727
Default parameters
  • Lift all non trivial prefixes for default parameters #​19739
Doctool
  • Prevent HTML/XSS Injection in Scala Search #​19980
  • Parse search query param in Scaladoc #​19669
Experimental: Capture Checking
  • Disallow covariant caps in the lower bound of type members #​19624
  • Ignore orphan parameters inside a retains annotation during Ycheck #​19684
  • Fix the pickling of This inside capture sets #​19797
  • Add updated to SeqViewOps #​19798
  • Fix Function tree copier #​19822
  • Drop FreeSeqFactory from stdlib-cc #​19849
  • Fix i19859 #​19860
  • Various fixes to stdlib-cc #​19873
  • Add more methods in SeqViewOps #​19993
  • Check This references in refersToParamOf #​20005
Exports
  • Fix the tparam bounds of exported inherited classes #​18647
Implicits
  • Prefer extensions over conversions for member selection #​19717
  • Don't allow implicit conversions on prefixes of type selections #​19934
  • Make sure typeParams returns a stable result even in the presence of completions #​19974
Incremental Compilation
  • Fix undercompilation upon ctor change #​19911
  • Load but not enter case accessors fields in Scala2Unpickler #​19926
Initialization
  • Add supports for type cast and filtering type for field and method owner in global initialization checker #​19612
  • Added a second trace for global init checker showing creation of mutable fields #​19996
  • Suppressing repetitive warnings in the global initialization checker #​19898
Inline
  • Specialized retained inline FunctionN apply methods #​19801
  • Avoid crash after StopMacroExpansion #​19883
  • Check deprecation of inline methods #​19914
  • Inline transparent implicit parameters when typing Unapply trees #​19646
  • Restore pre-3.3.2 behavior of inline implicit def #​19877
Match Types
  • Cover patterns using reflect.TypeTest in isMatchTypeShaped #​19923
  • Rework MatchType recursion in collectParts #​19867
Nullability
  • Fix #​19808: Don't force to compute the owner of a symbol when there is no denotation #​19813
Parser
  • Add support for JEP-409 (sealed classes) + Add javacOpt directive #​19080
  • Fix(#​16458): regression in xml syntax parsing #​19522
  • Fix parsing of conditional expressions in parentheses #​19985
Presentation Compiler
  • Allow range selection on function parameter to select a parameter list #​19777
Quotes
  • Disallow ill-staged references to local classes #​19869
  • Add regression test for #​19909 #​19915
  • Detect non Expr[..] splice patterns #​19944
  • Avoid spurious val binding in quote pattern #​19948
  • Add regression test and imporve -Xprint-suspension message #​19688
REPL
  • Repl truncation copes with null #​17336
  • Catch stackoverflow errors in the highlighter #​19836
  • Fix a REPL bad symbolic reference #​19786
Reflection
Reporting
  • Improve error reporting for missing members #​19800
  • Avoid repetitions in name hints #​19975
  • Improve error message when using experimental definitions #​19782
  • Make -Xprompt work as desired under -Werror #​19765
  • Fix #​19402: emit proper error in absence of using in given definitions #​19714
  • Bugfix: Choose correct signature is signatureHelp for overloaded methods #​19707
  • Unify completion pos usage, fix presentation compiler crash in interpolation #​19614
Scaladoc
TASTy format
  • Add patch for undefined behavior with object $ #​19705
  • Fix(#​19806): wrong tasty of scala module class reference #​19827
  • Used derived types to type arguments of dependent function type #​19838
Tooling
  • Java TASTy: use new threadsafe writer implementation #​19690
  • Remove -Yforce-inline-while-typing #​19889
  • Cleanup unnecessary language flag #​19865
  • Bugfix: Auto imports in worksheets in Scala 3 #​19793
  • Refine behavior of -Yno-experimental #​19741
Transform
  • Short-circuit isCheckable with classSymbol #​19634
  • Avoid eta-reduction of (..., f: T => R, ...) => f.apply(..) into f #​19966
  • Tweak parameter accessor scheme #​19719
Typer
  • Update phrasing for NotClassType explain error message #​19635
  • Fix java typer problems with inner class references and raw types #​19747
  • Approximate MatchTypes with lub of case bodies, if non-recursive #​19761
  • Revert broken changes with transparent inline #​19922
  • Delay hard argument comparisons #​20007
  • Fix #​19607: Allow to instantiate wildcard type captures to TypeBounds. #​19627
  • Fix #​19907: Skip soft unions in widenSingle of widenInferred #​19995
  • Fix untupling of functions in for comprehensions #​19620
Contributors

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

According to git shortlog -sn --no-merges 3.4.1..3.4.2 these are:

    46	Nicolas Stucki
    33	Martin Odersky
    25	Dale Wijnand
    22	Hamza REMMAL
    18	Yichen Xu
    17	Jamie Thompson
    15	Szymon Rodziewicz
    11	EnzeXing
    11	i10416
     9	Paweł Marks
     6	Kacper Korban
     4	Dan13llljws
     4	Katarzyna Marek
     4	Matt Bovel
     4	Som Snytt
     4	noti0na1
     3	110416
     3	Eugene Flesselle
     3	Sébastien Doeraene
     3	dependabot[bot]
     2	Bersier
     2	Hamza Remmal
     2	Jakub Ciesluk
     2	João Costa
     2	Jędrzej Rochala
     2	Natsu Kagami
     2	Stephane Bersier
     2	Taro L. Saito
     2	aherlihy
     1	Aleksander Boruch-Gruszecki
     1	Aviv Keller
     1	Eugene Yokota
     1	Guillaume Martres
     1	Jan Chyb
     1	Lukas Rytz
     1	Mikołaj Fornal
     1	Olga Mazhara
     1	Ondřej Lhoták
     1	Robert Stoll
     1	Seth Tisue
     1	Valentin Schneeberger
     1	Yilin Wei
     1	willerf

v3.4.1

Compare Source

Highlights of the release

  • Add support for @deprecatedInheritance #​19082

Other changes and fixes

Coverage

  • Correctly prettify names in coverage info #​18542

Desugaring

  • Make apply proxies work with overloaded ctors #​19464
  • Fix possible crash in Desugar #​19567

Documentation

  • Update private[this] deprecation warning and documentation #​19393

Erasure

  • Make eraseInfo work for classes with EmptyScopes #​19550

Exports

  • Do not propagate @tailrec to exported methods #​19509
  • Fix retained flags in exports #​19636

GADTs

  • Only cache base types when gadt state is empty #​19562
  • Add GADT symbols when typing typing-ahead lambda bodies#​19644

Implicits

  • Run CheckStatic after UncacheGivenAliases #​19318
  • Add tests to verify that crash is fixed elsewhere. Fixes #​19328 #​19329
  • Don't search for implicit conversions to NoType #​19563
  • Instantiate argument type vars before implicit search #​19096
  • Adjust owner in Interactive.contextOfPath causing crash in ImplicitSearch #​19875

Java Interop

  • Classfile reader: handle JDK 9+ constant types in constant pool #​19533

Linting

  • Make fatal warnings not fail compilation early & aggregate warns #​19245

Macro Annotations

  • Check and enter missing symbols in MacroAnnotations only for definitions #​19579

Match Types

Opaque Types

Parser

Pattern Matching

  • Fix false unreachable due to opaqueness #​19368
  • Improve recursive decompose prefix fix #​19375
  • Allow constraining a parameter to Nothing #​19397
  • Add a test case, proving i15661 is fixed #​19432

Presentation Compiler

  • Improvement: Support completions for implicit classes #​19314
  • Chore: Backport changes from Metals #​19410
  • Fix goto-def on exported forwarders #​19494
  • Backport pc changes from metals #​19617
  • Chore: Backport changes from Metals #​19592
  • Use comma counting for all signature help types #​19520
  • Make PC more resilient to crashes #​19488
  • Make order of renames and missing imports deterministic #​19468
  • Chore: backport changes from metals #​19452
  • Improve signature help by more stable position calculation + better named arg support #​19214
  • Instantiate Type Vars in completion labels of extension methods #​18914

Quotes

  • Only evaluate transparent inline unapply once #​19380
  • Update staging.Compiler.make documentation #​19428
  • Error instead of StaleSymbol crash for certain cyclic macro dependencies #​19549
  • Refine handling of StaleSymbol type errors #​19605
  • Fix module symbol recovery from NoClassDefFoundError #​19645
  • Fix HOAS pattern example and error message #​19655
  • Set the correct type when copying reflect Inlined trees #​19409

Reporting

  • Don't explain erroneous bounds #​19338
  • Better error diagnostics for cyclic references #​19408
  • Properly identify empty bounds in error message #​19310

Scala-JS

  • Fix #​19528: Actually remove Dynamic from interfaces of native JS classes. #​19536
  • Consider static and non-static methods as non-double def #​19400

Scaladoc

Tooling

  • Prioritize TASTy files over classfiles on classpath aggregation #​19431

Transform

  • Fix purity check for val inside of object #​19598
  • Drop special treatment of function types in overloading resolution #​19654
  • Add checks for the consistency of the parents in TreeChecker #​18935

Type Inference

  • More careful type variable instance improvements #​19659

Typer

Contributors

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

According to git shortlog -sn --no-merges 3.4.0..3.4.1 these are:

    53	Martin Odersky
    53	Nicolas Stucki
    22	Dale Wijnand
    11	Szymon Rodziewicz
    11	i10416
     8	Hamza REMMAL
     7	Paweł Marks
     7	noti0na1
     6	Yilin Wei
     5	Jędrzej Rochala
     3	Eugene Flesselle
     3	Seth Tisue
     2	Florian3k
     2	Hamza Remmal
     2	Jan Chyb
     2	Katarzyna Marek
     2	Sébastien Doeraene
     2	Tomasz Godzik
     2	dependabot[bot]
     1	Bersier
     1	Fabián Heredia Montiel
     1	Jakub Ciesluk
     1	Jakub Cieśluk
     1	Kacper Korban
     1	Kenji Yoshida
     1	Mehdi Alaoui
     1	Nikita Gazarov
     1	Oron Port
     1	Pascal Weisenburger
     1	Philippus Baalman
     1	Quentin Bernet
     1	Som Snytt
     1	Wojciech Mazur
     1	Yichen Xu
     1	aherlihy
     1	rochala

v3.4.0

Compare Source

Highlights of the release

  • Make polymorphic functions more efficient and expressive #​17548
  • SIP-56: Better foundations for match types #​18262
  • Make SIP 54 (Multi-Source Extension Overloads) a standard feature #​17441
  • Value parameter inference for polymorphic lambdas #​18041
  • Add @publicInBinary annotation and -WunstableInlineAccessors linting flag #​18402
  • Stabilize Quotes defn.PolyFunction #​18480
  • Stabilize Quotes Flags.AbsOverride #​18482
  • Add -experimental compiler flags #​18571
  • Stabilize SIP-53 (quote pattern explicit type variable syntax) #​18574
  • Add reflect TypeRepr.dealiasKeepOpaques #​18583
  • Add attributes section to TASTy and use it for Stdlib TASTy #​18599
  • Error when reading class file with unknown newer jdk version #​18618
  • Add support for xsbti.compile.CompileProgress #​18739
  • Improve type inference for functions like fold #​18780
  • Improve error message for mismatched tasty versions, allow configuration of header unpickler #​18828
  • In 3.4 make refutable patterns in a for comprehension an error #​18842
  • Disallow use of PolyFunction in user code #​18920
  • Store source file in TASTY attributes #​18948
  • First step to pipelining support - enable reading Java symbols from TASTy #​19074
  • Activate constrainResult fix in 3.4 #​19253
  • Parallelise JVM backend - Scala 2 port #​15392
  • Avoid generating given definitions that loop #​19282

Deprecation warnings for old syntax

Other changes and fixes

Backend

  • Count size of parameters for platform limit check #​18464
  • Don't emit line number for synthetic unit value #​18717
  • Avoid too eager transform of $outer for lhs & accessor rhs #​18949
  • Make more anonymous functions static #​19251
  • Fix deadlock in initialization of CoreBTypes using Lazy container #​19298
  • Fix #​18769: Allow HK type args in Java signatures. #​18883
  • Loading symbols from TASTy files directly #​17594
  • Use dedicated equals method for univerval equality of chars #​18770

Erasure

  • Get generic signature of fields entered after erasure from their accessor #​19207
  • Detect case where two alternatives are the same after widening ExprTypes #​18787
  • Improve erased params logic #​18433

Experimental: Capture Checking

  • Fix capture set variable installation in Setup #​18885
  • Don't follow opaque aliases when transforming sym info for cc #​18929
  • Reset comparersInUse to zero in ContextState.reset #​18915
  • Special handling of experimental.captureChecking import #​17427
  • Change handling of curried function types in capture checking #​18131
  • Fix #​18246: correctly compute capture sets in TypeComparer.glb #​18254
  • New capture escape checking based on levels #​18463
  • A more robust scheme for resetting denotations after Recheck #​18534
  • A more flexible scheme for handling the universal capability #​18699
  • Fix potential soundness hole when adding references to a mapped capture set #​18758
  • Alternative scheme for cc encapsulation #​18899
  • Make reach refinement shallow #​19171

F-bounds

  • Don't check bounds of Java applications in Java units #​18054

GADTs

  • Avoid embedding SelectionProtos in Conversions #​17755
  • Freeze constraints while calculating GADT full bounds #​18222

Implicits

Incremental Compilation

  • Make incremental compilation aware of synthesized mirrors #​18310

Inference

  • Honour hard unions in lubbing and param replacing #​18680

Infrastructure

  • Use -Yscala2-library-tasty to add Scala 2 lib TASTY to scalac (internal only) #​18613
  • Rename stdlib-bootstrapped-tasty to scala2-library-tasty #​18615
  • Fix #​19286: Freeze rubygems-update at < 3.5.0. #​19288

Initialization

Inline

  • Fix regression: inline match crash when rhs uses private inlined methods #​18595
  • Add structural classes of dynamicApply before inlining #​18766
  • Set missing expansion span for copied inlined node #​18229
  • Fix callTrace of inlined methods #​18738

Linting

  • Keep tree of type ascriptions of quote pattern splices #​18412
  • Fix false positive in WUnused for renamed path-dependent imports #​18468
  • Fix false positive in WUnused for renamed path-dependent imports (2) #​18617
  • Fix wunused false positive on CanEqual #​18641
  • Implement -Xlint:private-shadow, type-parameter-shadow #​17622
  • Fix: reversed wconf parsing order to mirror scala 2 #​18503
  • Revert Fix false positive in WUnused for renamed path-dependent imports #​18514

Macro Annotations

  • Enter missing symbols generated by the MacroAnnotation expansion #​18826

Match Types

  • Allow Tuple.Head and Tuple.Tail to work with EmptyTuple #​17189
  • Fix match type reduction with avoided types #​18043
  • Strip LazyRef before calling simplified, in MT reduction #​18218
  • Fix MT separate compilation bug #​18398
  • Do not show deprecation warning for _ in type match case #​18887

Nullability

  • Improve logic when to emit pattern type error #​18093
  • Allow nullability flow typing even in presence of pattern match #​18206
  • Fix #​11967: flow typing nullability in pattern matches #​18212
  • Fix #​18282: consider Predef.eq/ne in nullability flow typing #​18299
  • Make this.type nullable again (unless under -Yexplicit-nulls). #​18399

Opaque Types

  • Type ascribe trees that require opaque type usage #​18101

Parser

  • Fix selecting terms using root #​18335
  • Tweak java getlitch not to skip zero #​18491
  • Fix i18518 #​18520
  • Only apply future patches on future-migration #​18820
  • Parser simple expression error recovery change from null to ??? #​19103

Pattern Matching

  • Fix syntax and parsing of vararg patterns #​18055
  • Avoid over widening in SpaceEngine #​18252
  • Fix regression in exhaustivity of HK types #​18303
  • Fix missing case in isSubspace, which broke reachablility #​18326
  • Unsuppress unchecked warnings #​18377
  • Consider extension methods in Space isSameUnapply #​18642
  • Fix unreachable warning in deeply nested sealed hierarchy #​18706
  • Remove unnecessary and recursive Space decomposition #​19216
  • Prioritise sequence-matches over product-sequence-matches #​19260
  • Propagate constant in result of inline match #​18455
  • Disable match anaylsis in inlined trees #​19190
  • Teach provablyDisjoint about AnyKind #​18510
  • Warn about unchecked type tests in primitive catch cases #​19206
  • Reprioritise seq-match over product-seq-match #​19277
  • Fix exhaustivity due to separate TypeVar lambdas #​18616

Presentation Compiler

  • Support completions for extension definition parameter #​18331
  • Fix: Don't collect map, flatMap, withFilter in for-comprehension #​18430
  • Bugfix: Catch exception from the compiler for broken shadowed pickles #​18502
  • Bugfix: highlight for enum type params #​18528
  • Bugfix: No signature help for local methods #​18594
  • Bugfix: add moduleClass imported symbols in IndexedContext #​18620
  • Bugfix: Named args completions with default values #​18633
  • Fix: match completions for type aliases #​18667
  • Bugfix: add multiline comment completion #​18703
  • Bugfix: Backticked named arguments #​18704
  • Bugfix: [metals] Case completions for tuple type #​18751
  • Completions should prepend, not replace as it is for Scala 2 #​18803
  • Bugfix: rename end marker #​18838
  • Presentation compiler: Bugfix for semantic tokens and synthetic decorations #​18955
  • Show documentation for value forwarders in completions #​19200
  • Bugfix: Document highlight on class constructors #​19209
  • Bugfix: Completions for extension methods with name conflict #​19225

Polyfunctions

  • Check user defined PolyFunction refinements #​18457
  • Support polymorphic functions with erased parameters #​18293
  • Use PolyFunction instead of ErasedFunction #​18295

Quotes

  • Support type variable with bounds in quoted pattern #​16910
  • Add new EXPLICITtpt to TASTy format #​17298
  • Inhibit typer to insert contextual arguments when it is inside arguments of HOAS patterns #​18040
  • Compile quote patterns directly into QuotePattern AST #​18133
  • Add missing span to synthesized product mirror #​18354
  • Improve non-static macro implementation error message #​18405
  • Fix scala 2 macros in traits with type parameters #​18663
  • Patch underlyingArgument to avoid mapping into modules #​18923
  • Fallback erasing term references #​18731
  • Fix ignored type variable bound warning in type quote pattern #​18199
  • Splice hole with singleton captures #​18357
  • Fix macros with erased arguments #​18431
  • Deprecate 3-arg FunctionClass constructor #​18472
  • Deprecate Quotes {MethodType,TermParamClause}.isErased #​18479
  • Avoid crashes on missing positions #​19250

Reflection

  • Add reflect.ValOrDefDef #​16974
  • Check New tree for ill-formed module instantiations #​17553
  • Add reflect TypeLambda.paramVariances #​17568
  • Make check flags for newMethod, newVal and newBind in Quotes API less restrictive #​18217
  • Normalise mirrorType for mirror Synthesis #​19199
  • Add reflect defn.FunctionClass overloads #​16849
  • Stabilize reflect flag JavaAnnotation #​19267
  • Stabilize reflect paramVariance #​19268

Reporting

  • Take into account the result type of inline implicit conversions unless they are transparent #​17924
  • Check if a fatal warning issued in typer is silenced, before converting it into an error #​18089
  • Elide companion defs to a object extending AnyVal #​18451
  • Add regression test for issue i18493 #​18497
  • Add better explanation to error message #​18665
  • Better error message when accessing private members #​18690
  • Improve message for discarded pure non-Unit values #​18723
  • Better error message when a pattern match extractor is not found. #​18725
  • Give "did you mean ...?" hints also for simple identifiers #​18747
  • Better error for definition followed by keyword #​18752
  • Better explain message for 'pattern expected' #​18753
  • Improve failure message of enum fromOrdinal/valueOf #​19182
  • Fix type mismatch error confusion between types with same simple name #​19204
  • Add hint for nested quotes missing staged Quotes #​18755
  • Better error messages for missing commas and more #​18785
  • Fix imported twice error messages #​18102
  • Improve error message for inaccessible types #​18406
  • Future migration warning for with type operator #​18818
  • Improve assertion error message for Apply and TypeApply #​18700
  • Shorten traces for TypeMismatch errors under -explain [#​18742](https://gi
  • Improve with in type migration warning #​18852
    hub.com/Shorten traces for TypeMismatch errors under -explain scala/scala3#18742)
  • Future migration warning for alphanumeric infix operator #​18908
  • Make sure that trace is shown correctly in the presence of invalid line numbers #​18930
  • Add migration warning for XML literals in language future #​19101
  • Avoid diagnostic message forcing crashing the compiler #​19113
  • Make sure that the stacktrace is shown with -Ydebug-unpickling #​19115
  • Improve asExprOf cast error formatting #​19195
  • Do not warn on underscore wildcard type in pattern #​19249

Scala-JS

Scaladoc

  • Fix incorrect comment parser used in nightly scaladoc #​18523
  • Update jsoup dependency of Scaladoc to 7.2 #​19584

SemanticDB

  • Export diagnostics (including unused warnings) to SemanticDB #​17835
  • Bugfix: Incorrect semanticdb span on Selectable #​18576
  • Bugfix: in semanticdb make synthetic apply disambiguator consistent w/ Scala 2 implicit #​17341

Standard Library

TASTy format

  • Eliminate FromJavaObject from TASTy of Java sources #​19259
  • Add new HOLETYPES to TASTy format #​17225
  • Add capture checking attributes to TASTy #​19033
  • Add TASTyInfo abstraction #​19089
  • Add UTF8 abstraction in the TASTy format #​19090

Tooling

  • Don't add explanation twice #​18779
  • ExtractDependencies uses more efficient caching #​18403
  • Introduce the SourceVersions 3.4 and 3.4-migration; make 3.4 the default. #​18501
  • Bugfix: Completions for named args in wrong order #​18702
  • Align unpickled Scala 2 accessors encoding with Scala 3 #​18874
  • Reinterpret Scala 2 case accessors xyz$access$idx #​18907
  • Presentation-compiler: Add synthetic decorations #​18951
  • Add compilation unit info to ClassSymbol #​19010
  • Make sure that patches for 3.0 are also applied in later versions #​19018

Transform

  • Also consider @​targetName when checking private overrides #​18361
  • Teach PostTyper to handle untupled context closures #​17739
  • Properly dealias tuple types when specializing #​18724
  • Fix condition in prefixIsElidable to prevent compiler crash #​18924
  • Fix #​18816: Transfer the span of rewired This nodes in fullyParameterizedDef. #​18840
  • List(...) optimization to avoid intermediate array #​17166
  • Make Array.apply an intrinsic #​18537
  • Add missing span to extension method select #​18557

Tuples

  • Handle TupleXXL in match analysis #​19212
  • Add reverse method to NonEmptyTuple #​13752
  • Refine handling of pattern binders for large tuples #​19085
  • Introduce Tuple.ReverseOnto and use it in Tuple.reverse #​19183

Typeclass Derivation

  • Consider all parents when checking access to the children of a sum #​19083

Typer

  • Fix logic when comparing var/def bindings with val refinements #​18049
  • Fix variance checking in refinements #​18053
  • Fix accessibleType for package object prefixes #​18057
  • Refix avoid GADT casting with ProtoTypes #​18085
  • Avoid shadowing by private definitions in more situations #​18142
  • Refine infoDependsOnPrefix #​18204
  • Fix spurious subtype check pruning when both sides have unions #​18213
  • Reimplement support for type aliases in SAM types #​18317
  • Fix adaptation of constants to constant type aliases #​18360
  • Issue "positional after named argument" errors #​18363
  • Deprecate ops.long.S #​18426
  • Tweak selection from self types #​18467
  • Use the unwidened type when casting structural calls #​18527
  • Fix #​18649: Use loBound of param types when materializing a context function. #​18651
  • Identify structural trees on Match Type qualifiers #​18765
  • Tweak approximation of type variables when computing default types #​18798
  • Admit parametric aliases of classes in parent typing #​18849
  • Also add privateWithin when creating constructor proxies #​18893
  • Revert part of Simplify defn.FunctionOf.unapply #​19012
  • Check @​targetName when subtyping Refined Types #​19081
  • Record failures to adapt application arguments #​18269
  • Improve handling of AndTypes on the LHS of subtype comparisons #​18235
  • Allow inferred parameter types always, when eta-expanding #​18771
  • Fix failing bounds check on default getter #​18419
  • Use constructor's default getters in case class synthetic apply methods #​18716
  • Keep qualifier of Ident when selecting setter #​18714
  • Retract SynthesizeExtMethodReceiver mode when when going deeper in overloading resolution #​18759
  • Constant fold all the number conversion methods #​17446
  • Refine criterion when to widen types #​17180
  • Run all MatchType reduction under Mode.Type #​17937
  • Force consistent MT post-redux normalisation, disallow infinite match types #​18073
  • Fix #​17467: Limit isNullable widening to stable TermRefs; remove under explicit nulls. #​17470
  • Disallow naming the root package, except for selections #​18187
  • Contextual varargs parameters #​18186
  • Encode the name of the attribute in Selectable.selectDynamic #​18928
  • Remove linearization requirement for override ref checks from java classes #​18953
  • Fix type inferencing (constraining) regressions #​19189
  • Repeated params must correspond in override #​16836
  • Convert SAM result types to function types #​17740
  • Disallow infix objects #​17966
  • Fix hasMatchingMember handling NoDenotation #​17977
  • Fix: disallow toplevel infix definitions for vals, vars, givens, methods and implicits #​17994
  • Curried methods are not valid SAM methods #​18110
  • Fix #​17115: Try to normalize while computing typeSize. #​18386
  • Add default arguments to derived refined type #​18435
  • Handle dependent context functions #​18443
  • Fix variance loophole for private vars #​18693
  • Avoid crash arising from trying to find conversions from polymorphic singleton types #​18760
  • Allow inner classes of universal traits #​18796
  • Prevent crash when extension not found #​18830
  • Fix expandParam's use of argForParam/i

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 has been generated by Mend Renovate. View repository job log here.

@renovate renovate bot force-pushed the renovate/org.scala-lang-scala3-compiler_3-3.x branch from cf41c49 to 84cc2d0 Compare May 27, 2024 14:45
@renovate renovate bot force-pushed the renovate/org.scala-lang-scala3-compiler_3-3.x branch from 84cc2d0 to b95265d Compare May 27, 2024 14:48
@aaylward aaylward closed this Jun 1, 2024
@aaylward aaylward deleted the renovate/org.scala-lang-scala3-compiler_3-3.x branch June 1, 2024 03:07
@renovate Renovate
Copy link
Contributor Author

renovate bot commented Jun 1, 2024

Renovate Ignore Notification

Because you closed this PR without merging, Renovate will ignore this update (3.4.2). You will get a PR once a newer version is released. To ignore this dependency forever, add it to the ignoreDeps array of your Renovate config.

If you accidentally closed this PR, or if you changed your mind: rename this PR to get a fresh replacement PR.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@aaylward