Currently, the optimizer gdb tests only assert that we're able to lookup the types in the mongod binary. It would be better to do this and also assert that the pretty printed output is stable, likely with a dummy program that forces a breakpoint and has several types in scope (e.g. see here for an example).