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.

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

Replace assertion in limit_type_size with fall-back #36516

Merged
merged 1 commit into from
Jul 3, 2020
Merged

Conversation

martinholters
Copy link
Member

While the condition (the new type has to be wider) of the assertion should hold, #36407 shows that this may still fail sometimes. Instead of throwing an error, it seems better to just widen more aggressively if needed to ensure that the condition is fulfilled.

Closes #36407.

While the condition (the new type has to be wider) of the assertion
should hold, #36407 shows that this may still fail sometimes. Instead of
throwing an error, it seems better to just widen more aggressively if
needed to ensure that the condition is fulfilled.
@martinholters martinholters requested a review from vtjnash July 2, 2020 13:21
@thofma
Copy link
Contributor

thofma commented Jul 2, 2020

We appreciate the quick fix! We ran into those problems in #36407 quite often lately.

@KristofferC
Copy link
Member

Backport?

@Keno Keno merged commit 604f658 into master Jul 3, 2020
@Keno Keno deleted the mh/fix_36407 branch July 3, 2020 01:41
KristofferC pushed a commit that referenced this pull request Jul 8, 2020
While the condition (the new type has to be wider) of the assertion
should hold, #36407 shows that this may still fail sometimes. Instead of
throwing an error, it seems better to just widen more aggressively if
needed to ensure that the condition is fulfilled.

(cherry picked from commit 604f658)
@KristofferC KristofferC mentioned this pull request Jul 8, 2020
13 tasks
simeonschaub pushed a commit to simeonschaub/julia that referenced this pull request Aug 11, 2020
While the condition (the new type has to be wider) of the assertion
should hold, JuliaLang#36407 shows that this may still fail sometimes. Instead of
throwing an error, it seems better to just widen more aggressively if
needed to ensure that the condition is fulfilled.
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.

Crash in type inference
5 participants