Skip to content

[DO NOT MERGE] what if we don't allow unused filecheck prefixes?#137142

Closed
jieyouxu wants to merge 1 commit intorust-lang:masterfrom
jieyouxu:exp-no-unused-prefixes
Closed

[DO NOT MERGE] what if we don't allow unused filecheck prefixes?#137142
jieyouxu wants to merge 1 commit intorust-lang:masterfrom
jieyouxu:exp-no-unused-prefixes

Commits

Commits on Feb 16, 2025