We did that in 21.2 as helps with certain cases of specialization after instantiation. Let's have it in master.
@akraszna @manthony @mhodgkin