fn use_verbose<'tcx>(ty: Ty<'tcx>, fn_def: bool) -> bool