Module op 

Code related to processing overloaded binary and unary operators.

Re-exports

use rustc_ast as ast; 🔒

use rustc_ast::AssignOp; 🔒

use rustc_ast::BinOp; 🔒

use rustc_data_structures::packed::Pu128; 🔒

use rustc_data_structures::thin_vec::ThinVec; 🔒

use rustc_data_structures::thin_vec::thin_vec; 🔒

use rustc_errors::Applicability; 🔒

use rustc_errors::Diag; 🔒

use rustc_errors::struct_span_code_err; 🔒

use rustc_hir::def_id::DefId; 🔒

use rustc_hir as hir; 🔒

use rustc_hir::AssignOpKind; 🔒

use rustc_hir::BinOpKind; 🔒

use rustc_hir::Expr; 🔒

use rustc_hir::ExprKind; 🔒

use rustc_infer::traits::ObligationCauseCode; 🔒

use rustc_middle::ty::adjustment::Adjust; 🔒

use rustc_middle::ty::adjustment::Adjustment; 🔒

use rustc_middle::ty::adjustment::AllowTwoPhase; 🔒

use rustc_middle::ty::adjustment::AutoBorrow; 🔒

use rustc_middle::ty::adjustment::AutoBorrowMutability; 🔒

use rustc_middle::ty::print::with_no_trimmed_paths; 🔒

use rustc_middle::ty::print::with_no_trimmed_paths; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::IsSuggestable; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeVisitableExt; 🔒

use rustc_span::Span; 🔒

use rustc_span::Spanned; 🔒

use rustc_span::Symbol; 🔒

use rustc_span::bug; 🔒

use rustc_span::sym; 🔒

use rustc_trait_selection::infer::InferCtxtExt; 🔒

use rustc_trait_selection::traits::FulfillmentError; 🔒

use rustc_trait_selection::traits::Obligation; 🔒

use rustc_trait_selection::traits::ObligationCtxt; 🔒

use tracing::debug; 🔒

use super::FnCtxt; 🔒

use super::method::MethodCallee; 🔒

use crate::diagnostics::ExprParenthesesNeeded; 🔒

use crate::method::TreatNotYetDefinedOpaques; 🔒

use crate::Expectation; 🔒

use crate::diagnostics; 🔒

use rustc_errors::codes::*; 🔒

Enums

BinOpCategory 🔒

Op 🔒

An assignment op (e.g. a += b), or a binary op (e.g. a + b).

Functions

contains_let_in_chain 🔒

Check if expr contains a let or &&, indicating presence of a let-chain

deref_ty_if_possible 🔒

Dereferences a single level of immutable referencing.

is_builtin_binop 🔒

Returns true if this is a built-in arithmetic operation (e.g., u32 + u32) and false if these types would have to be overloaded to be legal. The reason that we distinguish builtin operations from overloaded ones (vs trying to drive everything uniformly through the trait system and intrinsics or something like that) is that builtin operations can trivially be evaluated in constants on stable, but the traits and their impls for these primitive types.

lang_item_for_binop 🔒

lang_item_for_unop 🔒