bors a2f73d3142 Auto merge of #16879 - Nadrieril:fuel, r=Veykril ... Add fuel to match checking Exhaustiveness checking is NP-hard hence can take extremely long to check some specific matches. This PR makes ehxaustiveness bail after a set number of steps. I chose a bound that takes ~100ms on my machine, which should be more than enough for normal matches. I'd like someone with less recent hardware to run the test to see if that limit is low enough for them. Also curious if the r-a team thinks this is a good ballpark or if we should go lower/higher. I don't have much data on how complex real-life matches get, but we can definitely go lower than `500 000` steps. The second commit is a drive-by soundness fix which doesn't matter much today but will matter once `min_exhaustive_patterns` is stabilized. Fixes https://github.com/rust-lang/rust-analyzer/issues/9528 cc `@matklad`		2024-03-19 14:44:05 +00:00
..
src	Avoid hanging on complex matches	2024-03-18 21:21:52 +01:00
Cargo.toml	internal: Move grammar codegen into xtask	2024-03-19 10:57:53 +01:00