Summary of the new feature / enhancement Problem The pitfalls of working with extended types are somewhat known (#11169, #11171). My proposal here is to simply prevent one class of such pitfalls: the ...