Expand description
Checks validity of naked functions.
StructsΒ§
- Check
Inline πAssembly - Check
Parameters π
EnumsΒ§
- Item
Kind π
FunctionsΒ§
- check_
asm π - Checks that function body contains a single inline assembly block.
- check_
no_ πparameters_ use - Checks that function parameters arenβt used in the function body.
- check_
no_ πpatterns - Checks that parameters donβt use patterns. Mirrors the checks for function declarations.
- typeck_
naked_ πfn - Naked fns can only have trivial binding patterns in arguments, may not actually use those arguments, and the body must consist of just a single asm statement.