Skip to content

Conversation

xal-0
Copy link
Member

@xal-0 xal-0 commented Feb 6, 2025

Even if T has no intersection with the type we want, we don't know that we will throw because the arguments are optional.

Fixes #57292.

Even if T has no intersection with the type we want, we don't know that we will
throw, because the arguments are optional.

Fixes JuliaLang#57292.
@xal-0 xal-0 force-pushed the fix-getfield-varargs branch from b40eecc to 7beae37 Compare February 7, 2025 17:19
@nsajko nsajko added bugfix This change fixes an existing bug compiler:inference Type inference labels Feb 8, 2025
Copy link
Member

@topolarity topolarity left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice work! And keen eyes.

Keep it up 👍

@topolarity topolarity merged commit 5343130 into JuliaLang:master Feb 10, 2025
6 of 9 checks passed
@topolarity topolarity added the backport 1.12 Change should be backported to release-1.12 label Feb 10, 2025
KristofferC pushed a commit that referenced this pull request Feb 11, 2025
Even if T has no intersection with the type we want, we don't know that
we will throw because the arguments are optional.

Fixes #57292.

(cherry picked from commit 5343130)
@KristofferC KristofferC mentioned this pull request Feb 11, 2025
32 tasks
KristofferC added a commit that referenced this pull request Feb 13, 2025
Backported PRs:
- [x] #57142 <!-- Add reference to time_ns in time -->
- [x] #57241 <!-- Handle `waitpid` race condition when `SIGCHLD` is set
to `SIG_IGN` -->
- [x] #57249 <!-- restore non-freebsd-unix fix for profiling -->
- [x] #57211 <!-- Ensure read/readavailable for BufferStream are
threadsafe -->
- [x] #57262 <!-- edit NEWS for v1.12 -->
- [x] #57226 <!-- cfunction: reimplement, as originally planned, for
reliable performance -->
- [x] #57253 <!-- bpart: Fully switch to partitioned semantics -->
- [x] #57273 <!-- fix "Right arrow autocompletes at line end"
implementation -->
- [x] #57280 <!-- dep: Update JuliaSyntax -->
- [x] #57229 <!-- staticdata: Close data race after backedge insertion
-->
- [x] #57298 <!-- Updating binding version to fix MMTk CI -->
- [x] #57248 <!-- improve concurrency safety for `Compiler.finish!` -->
- [x] #57312 <!-- Profile.print: de-focus sleeping frames as gray -->
- [x] #57289 <!-- Make `OncePerX` subtype `Function` -->
- [x] #57310 <!-- Make ptls allocations at least 128 byte aligned -->
- [x] #57311 <!-- Add a warning for auto-import of types -->
- [x] #57338 <!-- fix typo in Float32 random number generation -->
- [x] #57293 <!-- Fix getfield_tfunc when order or boundscheck is Vararg
-->
- [x] #57349 <!-- docs: fix-up world-age handling for META access -->
- [x] #57344 <!-- Add missing type asserts when taking the queue out of
the task struct -->
- [x] #57348 <!-- 🤖 [master] Bump the SparseArrays stdlib from 212981b
to 72c7cac -->
- [x] #55040 <!-- Allow macrocall as function sig -->
- [x] #57299 <!-- Add missing latestworld after parameterized type alias
-->
@KristofferC KristofferC removed the backport 1.12 Change should be backported to release-1.12 label Feb 13, 2025
serenity4 pushed a commit to serenity4/julia that referenced this pull request May 1, 2025
Even if T has no intersection with the type we want, we don't know that
we will throw because the arguments are optional.

Fixes JuliaLang#57292.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bugfix This change fixes an existing bug compiler:inference Type inference
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Incorrect type inference for getfield with varargs
5 participants