fn check_unused_traits(tcx: TyCtxt<'_>, (): ())