Refs #50
File: crates/charon-metrics/Cargo.toml
Problem
charon-metrics has no [lints] section opting into workspace lints. Workspace policy (forbid unsafe_code, deny arithmetic_side_effects, cast_possible_truncation, unwrap_used) does not apply. Same recurring gap from PR #41 #165, PR #43 #189, PR #45 #211.
Fix
Add to crates/charon-metrics/Cargo.toml:
Verify root Cargo.toml [workspace.lints] is populated (sibling issue from PR #45).
Refs #50
File: crates/charon-metrics/Cargo.toml
Problem
charon-metrics has no [lints] section opting into workspace lints. Workspace policy (forbid unsafe_code, deny arithmetic_side_effects, cast_possible_truncation, unwrap_used) does not apply. Same recurring gap from PR #41 #165, PR #43 #189, PR #45 #211.
Fix
Add to crates/charon-metrics/Cargo.toml:
Verify root Cargo.toml [workspace.lints] is populated (sibling issue from PR #45).