pub(super) fn explicit_implied_const_bounds<'tcx>(
tcx: TyCtxt<'tcx>,
def_id: LocalDefId,
) -> EarlyBinder<'tcx, &'tcx [(PolyTraitRef<'tcx>, Span)]>
pub(super) fn explicit_implied_const_bounds<'tcx>(
tcx: TyCtxt<'tcx>,
def_id: LocalDefId,
) -> EarlyBinder<'tcx, &'tcx [(PolyTraitRef<'tcx>, Span)]>