refactor: Replace defensive .ok() with panic in DFA search#355
Merged
refactor: Replace defensive .ok() with panic in DFA search#355
.ok() with panic in DFA search#355