Rust compile times and dependency graphs

Where is the compile time savings then ?

Any crate that includes foo_types would be forced to include foo_types with all the union of features, and in the model you described above, would include the impl code.