Expand description
Deduces supplementary parameter attributes from MIR.
Deduced parameter attributes are those that can only be soundly determined by examining the body of the function instead of just the signature. These can be useful for optimization purposes on a best-effort basis. We compute them here and store them into the crate metadata so dependent crates can use them.
Structs§
- Deduce
Read πOnly A visitor that determines which arguments have been mutated. We canβt use the mutability field on LocalDecl for this because it has no meaning post-optimization.
Functions§
- deduced_
param_ πattrs Returns the deduced parameter attributes for a function. - Returns true if values of a given type will never be passed indirectly, regardless of ABI.