1 2 3
// Property tests for defect report types // Included from defect_report.rs - shares parent module scope