Function fresh_impl_header 

fn fresh_impl_header<'tcx>(
    infcx: &InferCtxt<'tcx>,
    impl_def_id: DefId,
) -> ImplHeader<'tcx>