Per @alexcrichton's comment, I imagine the correct rule here is simply to check that all static things are POD. This would prohibit `Option<~T>`, destructors, etc., as well as managed data, which just seems like trouble waiting to happen.