2023-03-08

[hermanventer]

Description

Update MIRAI to use Rustc nightly 2023-03-08

Type of change

• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• API change with a documentation update
• Additional test coverage
• Code cleanup or just keeping up with the latest Rustc nightly

How Has This Been Tested?

./validate.sh

[codecov]

Codecov Report

Merging #1199 (c07cc8d) into main (1acf5f7) will increase coverage by 0%.
The diff coverage is 84%.

@@          Coverage Diff           @@
##            main   #1199    +/-   ##
======================================
  Coverage     75%     75%            
======================================
  Files         23      23            
  Lines      16460   16299   -161     
======================================
- Hits       12477   12376   -101     
+ Misses      3983    3923    -60     

Impacted Files	Coverage Δ
checker/src/abstract_value.rs	78% <ø> (-1%)	⬇️
checker/src/callbacks.rs	66% <ø> (ø)
checker/src/block_visitor.rs	75% <80%> (+<1%)	⬆️
checker/src/call_visitor.rs	78% <83%> (-2%)	⬇️
checker/src/type_visitor.rs	80% <92%> (+3%)	⬆️
checker/src/body_visitor.rs	85% <100%> (+<1%)	⬆️
checker/src/fixed_point_visitor.rs	92% <100%> (+<1%)	⬆️
checker/src/options.rs	78% <100%> (-1%)	⬇️
checker/src/path.rs	86% <100%> (+1%)	⬆️
checker/src/utils.rs	89% <100%> (+1%)	⬆️
... and 17 more

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more