Function fresh_impl_header_normalized

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