Please scan this thread for any useful ideas: http://forum.dlang.org/post/[email protected]
I don't have the technical expertise to know if it's useful or could work. The basic suggestion is that D has a function attribute which expressly indicates that a function is separately compiled, thus eliminating all ambiguity and mystery about what can and can't be inferred.
