fn dp_detail( bug: &TyBug, drop_local: &str, trigger_local: &str, drop_bb: &str, _trigger_bb: &str, ) -> String