fn lang_item_for_op(
    tcx: TyCtxt<'_>,
    op: Op,
    span: Span
) -> (Symbol, Option<DefId>)