fn is_type_alias_impl_trait<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id_arg: is_type_alias_impl_trait<'tcx>
) -> is_type_alias_impl_trait<'tcx>