pub fn impl_def(did: DefId) -> ImplDef