Skip to content

[DO NOT MERGE] crater: emit a warning if a match is too complex#121979

Closed
GuillaumeGomez wants to merge 2 commits intorust-lang:masterfrom
GuillaumeGomez:warning-too-complex-match

Commits

Commits on Mar 4, 2024