Righto. Does the invariant `info.sym.name == info.name` hold?