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