Yes, it's a great case that you raised here
Very good question, and if so, how would this work? Would conformers implicitly get the storage added to them when they conform? What if we did the "same file only rule" and the declaration was in another file. Could be a hairy set of edge cases.
My personal view is it this is probably a bridge too far. Absolute extensions on concrete types? Conditional extensions should be excluded.
Maybe from the starting implementation and the base proposal, but I would want that possibility there in the language in general. That said, I think the core feature should be designed in a way that it can be extended in the future.
3 Likes
Yes, that's a good point of view. Imo, when people will see partial, they will immediately know that the architecture will be a bit different.
Having extension without any additional variables and partial with additional vars.
Yes, these statements are correct