pub fn associated_types_for_impl_traits_in_associated_fn<'tcx>(
    _tcx: TyCtxt<'tcx>,
    value: associated_types_for_impl_traits_in_associated_fn<'tcx>
) -> Erase<associated_types_for_impl_traits_in_associated_fn<'tcx>>