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