Skip to content

Conversation

@aviatesk
Copy link
Member

@aviatesk aviatesk commented Mar 21, 2023

In rare cases, the system might decide to widen the signature of a call that is determined to throw by concrete-evaluation. We should remove this unnecessary assertion here.

closes #49050

@vtjnash vtjnash added the merge me PR is reviewed. Merge when all tests are passing label Mar 21, 2023
aviatesk and others added 2 commits March 22, 2023 00:52
In rare cases, the system might decide to widen the signature of a call
that is determined to throw by concrete-evaluation.
We should remove this unnecessary assertion here.

closes #49050
@Keno Keno merged commit 5b49c03 into master Mar 21, 2023
@Keno Keno deleted the avi/49050 branch March 21, 2023 23:46
@DilumAluthge DilumAluthge removed the merge me PR is reviewed. Merge when all tests are passing label Mar 28, 2023
Xnartharax pushed a commit to Xnartharax/julia that referenced this pull request Apr 19, 2023
…JuliaLang#49074)

* inlining: allow non-compileable result when handling `ConcreteResult`

In rare cases, the system might decide to widen the signature of a call
that is determined to throw by concrete-evaluation.
We should remove this unnecessary assertion here.

closes JuliaLang#49050

* Update test/compiler/inline.jl

Co-authored-by: Jameson Nash <[email protected]>

---------

Co-authored-by: Jameson Nash <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

concrete evaluation should never happen for uncompileable callsite

5 participants