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