[Pre-Pre-RFC] Dynamic library proposal

LouChiSoft:

Not sure I follow, if the compiler has the ABI of Foo in the .rimport file and it also has the ABI of the struct at the callsite then surely it could compare the two and error out if they don't match?

Sure, but then changing the internal representation of a type becomes a breaking change. Linking to a dynamic library would become a matter of using the correct compiler version and dependencies versions, and linking to multiple dynamic libraries at the same time could be impossible due to conflicting requirements.

ps: I suggest you to use the native quote feature instead of >, that way the quoted people will see a notification.