Philipp Hansch 870ae36f85 Cleanup: Rename 'db' variable to 'diag'

2020-04-17 08:08:00 +02:00

..

inefficient_to_string.rs

Cleanup: Rename 'db' variable to 'diag'

2020-04-17 08:08:00 +02:00

manual_saturating_arithmetic.rs

Rustup to rust-lang/rust#69592

2020-03-01 12:23:33 +09:00

mod.rs

Cleanup: Rename 'db' variable to 'diag'

2020-04-17 08:08:00 +02:00

option_map_unwrap_or.rs

Cleanup: Rename 'db' variable to 'diag'

2020-04-17 08:08:00 +02:00

unnecessary_filter_map.rs

rustup https://github.com/rust-lang/rust/pull/70536

2020-03-30 11:17:58 +02:00