automata/dfa: add BuildError::is_size_limit_exceeded
#1237
Merged
BurntSushi merged 1 commit intomasterfrom Nov 11, 2024
Merged
automata/dfa: add `BuildError::is_size_limit_exceeded`#1237BurntSushi merged 1 commit intomasterfrom
BurntSushi merged 1 commit intomasterfrom