Skip to content

[dce] Also keep T.toString when Array<T>.toString is called#12931

Open
kLabz wants to merge 3 commits into
developmentfrom
dce/array_toString
Open

[dce] Also keep T.toString when Array<T>.toString is called#12931
kLabz wants to merge 3 commits into
developmentfrom
dce/array_toString

Conversation

@kLabz

@kLabz kLabz commented Jun 6, 2026

Copy link
Copy Markdown
Contributor

Closes #12915

Python's Array is an extern class mapped to the native list (@:native(list)), so join/toString must be inline — there's no real method to keep, and the dce.ml rule is call-site-based, so it never sees them.
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.

With DCE enabled, user-defined toString() functions sometimes get removed, even if it's still called indirectly

1 participant