[biotronic]

> Is there a way in D to check at compile time if a type is a POD type ?

http://dlang.org/phobos/std_traits#hasElaborateDestructor

I believe this is what you're looking for. Mayhap you need to combine it with hasElaborateCopyConstructor and/or other functions in std.traits.