Skip to content

ty_utils: allow UnsafeBinder and Pat in async/sync drop glue allowlists#612

Open
SebTardif wants to merge 1 commit into
mainfrom
fix-async-drop-glue-unsafe-binder
Open

ty_utils: allow UnsafeBinder and Pat in async/sync drop glue allowlists#612
SebTardif wants to merge 1 commit into
mainfrom
fix-async-drop-glue-unsafe-binder

Conversation

@SebTardif

Copy link
Copy Markdown
Owner

Closes #611

Summary

AsyncDropInPlace nontrivial instance resolution rejected ty::UnsafeBinder (and ty::Pat) with Ok(None) while sync DropGlue already allowed UnsafeBinder. Add UnsafeBinder and Pat to both allowlists so they match compound handling used by needs_drop_components (Pat peels; UnsafeBinder is a component).

Origin

Area Commit Author
Async drop shim allowlist 80c0b7e90fd0 Daria Sukhonina
UnsafeBinder on DropGlue only later binder wiring

Test plan

  • Allowlist mirrors DropGlue / Array-Slice compound cases
  • Code review

AsyncDropInPlace instance resolution omitted UnsafeBinder (and Pat)
while DropGlue already accepted UnsafeBinder. Align both allowlists
with needs_drop component handling.

Closes #611

Signed-off-by: Sebastien Tardif <sebtardif@ncf.ca>
@SebTardif SebTardif added bug Something isn't working I-wrong Wrong result or data corruption P-medium Medium impact: affects specific usage patterns A-type-system Type system labels Jun 30, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-type-system Type system bug Something isn't working I-wrong Wrong result or data corruption P-medium Medium impact: affects specific usage patterns

Projects

None yet

Development

Successfully merging this pull request may close these issues.

ty_utils: AsyncDropGlueCtor allowlist misses UnsafeBinder (and ty::Pat)

1 participant