1 2 3
// Property tests for diagnose module // Included from diagnose.rs - do NOT add `use` imports or `#!` attributes here