about summary refs log tree commit diff
path: root/compiler/rustc_pattern_analysis
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2024-08-02 10:29:52 +0200
committerRalf Jung <post@ralfj.de>2024-08-03 10:33:58 +0200
commit21c02517c31e90ec1c001f3997abcea2caa36f0c (patch)
tree71a28b5c74effa5fe8166996c5d0d847ff515ece /compiler/rustc_pattern_analysis
parent2cec7a85ed4868c90194a2187d2751788e298197 (diff)
downloadrust-21c02517c31e90ec1c001f3997abcea2caa36f0c.tar.gz
rust-21c02517c31e90ec1c001f3997abcea2caa36f0c.zip
Miri: add a flag to do recursive validity checking
Diffstat (limited to 'compiler/rustc_pattern_analysis')
0 files changed, 0 insertions, 0 deletions