pub fn foreign_def(did: DefId) -> ForeignDef