fn opt_trait_item(tcx: TyCtxt<'_>, def_id: DefId) -> Option<DefId>
If the provided DefId is a method in a trait impl, return the DefId of the method prototype.