Skip to content

diagnostics: missing CoroutineClosure in fulfillment span adjust and explain_borrow destructor #569

Description

@SebTardif

Bug

  1. adjust_fulfillment_errors.rs only matches ty::Closure | ty::Coroutine when deciding whether a fulfillment error span overlaps the self_ty def; async closures (CoroutineClosure) miss this span adjustment.
  2. explain_borrow.rs labels drop types as "closure" or "coroutine" but not "async closure" for CoroutineClosure.

Origin

Sibling CoroutineClosure sweep pattern (see #477, #478, #490).

Impact

Worse diagnostics for async closures (span attribution / wording), not ICE.

Fix

PR adding CoroutineClosure arms in both sites.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions