Skip to content

Refactor contracts attribute expansion as AST macro #139304

New issue
New issue
Open
Open
Refactor contracts attribute expansion as AST macro#139304
Labels
C-cleanupCategory: PRs that clean code up or issues documenting cleanup.F-contracts`#![feature(contracts)]`T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.
@xizheyin

Description

@xizheyin
xizheyin
opened on Apr 3, 2025

Currently it is using token streams to extend macros, which causes some problems, as discussed in #137129 and #138852. Maybe we should refactor it to AST macros, which can do more accurate analysis.

cc @Noratrieb

Metadata

Metadata

Assignees

No one assigned

    Labels

    C-cleanupCategory: PRs that clean code up or issues documenting cleanup.F-contracts`#![feature(contracts)]`T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions