There is a market for statically checked c, as evidenced by the existence of something like SEL4 (though to be fair it technically checks assembly code)

It seems like statically checked zig has a chance to be strictly easier to implement relative to statically checked C, and that's I think something to shoot for, especially since it could require very little on the part of the zig developers proper.