On Tue, Jan 09, 2018 at 06:20:31PM +0100, Benjamin Thaut via Digitalmars-d
wrote:
> [...] The compiler should be able to figure out that the destructor of
> SomeOtherStruct must already exist, as its clearly always
> instanciated. As a result the compiler should not instanciate the
> TypeInfo for
Lets say I have a library and it contains the following module:
module a;
struct SomeStruct
{
string name;
}
struct SomeOtherStruct(T)
{
~this()
{
typeid(T).initializer;
}
}
struct ThirdStruct
{
SomeOtherStruct!SomeStruct m;
}
And now I have a second module:
module b;
import