`Dsymbol` and others never come here.