This is another good reason to create some rust pretty-printers for gdb in the future. We should file an issue about it.