fn builtin_derive_def_id(tcx: TyCtxt<'_>, def_id: DefId) -> Option<DefId>