Function delegation_user_specified_args 

fn delegation_user_specified_args<'tcx>() -> (&'tcx [GenericArg<'tcx>], &'tcx [GenericArg<'tcx>])