Skip to content

Handle recursive field drop and user-defined destructors #25

Closed
@solson

Description

@solson

It would be best to take advantage of the ElaborateDrops MIR pass, which is currently run after the after_analysis callback that Miri uses.

I'm currently looking into adding a callback between after_analysis and after_trans for this purpose.

Metadata

Metadata

Assignees

No one assigned

    Labels

    C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions