pub(super) fn check_type_params_are_used<'tcx>( tcx: TyCtxt<'tcx>, generics: &Generics, ty: Ty<'tcx>)