Module rustc_typeck::check::op

Code related to processing overloaded binary and unary operators.

Structs

TypeParamEraser
TypeParamVisitor

Enums

BinOpCategory
IsAssign	Whether the binary operation is an assignment (a += b), or not (a + b)
Op

Functions

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, i16x4 == i16x4) and false if these types would have to be overloaded to be legal. There are two reasons that we distinguish builtin operations from overloaded ones (vs trying to drive everything uniformly through the trait system and intrinsics or something like that):
suggest_constraining_param
suggest_impl_missing	If applicable, note that an implementation of trait for ty may fix the error.