You're conflating Musk's underground highway concept with his proposed solutions for cheaper tunnel construction. The latter is required for the former, but not vice-versa. Musk's 14-foot tunnels are large enough for a traditional subway. See my reply to the parent.