This might be an oddly specific question, but do you think performance improvements like this might eventually lead to features like partial type argument infer

This might be an oddly specific question, but do you think performance improvements like this might eventually lead to features like partial type argument inference in generics? If I recall correctly off the top of my head, performance was one of the main reasons it was never implemented.