destack:decorator

import destack:decorator

Newtypes

- allow — Suppress a diagnostic.
- capture — Configure closure capture modes for a lambda.
- cold — Hint that a function is on a cold path.
- deny — Report a diagnostic as an error.
- deprecated — Marks a declaration as deprecated.
- derive — Derive provider dispatcher.
- expect — Expect a diagnostic.
- experimental — Marks a declaration as experimental.
- extern — Marks a declaration as externally linked.
- forbid — Forbid overriding a diagnostic error.
- hot — Hint that a function is on a hot path.
- inline — Inline hint for generated code.
- intrinsic — Compiler intrinsic marker.
- languageItem — Compiler language item marker.
- likely — Hint that a branch is likely to be taken.
- mustUse — Warn when a return value is ignored.
- noAliasingMutableBorrows — Ban aliasing mutable borrows.
- noDynamicDispatch — Forbid dynamic dispatch.
- noHeap — Forbid heap allocation.
- noImplicitReceivers — Ban implicit method receivers.
- noinline — No-inline hint for generated code.
- noManaged — Forbid managed values and managed allocation.
- noReflection — Forbid runtime reflection.
- noRuntime — Forbid runtime-dependent language features.
- noUnsafe — Forbid unsafe operations.
- noUnwind — Forbid unwinding.
- pure — Mark a function as free of observable side effects.
- repr — Specify the representation for a declaration.
- safe — Marks a declaration as containing unsafe implementation details behind a safe API.
- sink — Marks a declaration as a boundary where tainted data leaves.
- source — Marks a declaration as a boundary where tainted data enters.
- tailcall — Hint that a function should use a tail call.
- taint — Marks data as carrying one taint.
- unlikely — Hint that a branch is unlikely to be taken.
- unroll — Loop unroll hint for generated code.
- unsafe — Marks an API, expression, or block as crossing an unsafe boundary.
- untaint — Marks a declaration as removing taints for one boundary domain.
- warn — Report a diagnostic as a warning.

Type aliases

- CaptureDirective — Capture directive value for the capture decorator.
- CaptureMode — Capture mode for closure bindings.
- DiagnosticControlOptions — Options for scoped diagnostic controls.
- DiagnosticId — A canonical diagnostic id.
- InlineHint — Inline policy for a function.
- Representation — Representation policy for a declaration.
- RepresentationOptions — Representation options for a declaration.
- SinkOptions — Options for sink boundaries.
- SourceOptions — Options for source boundaries.
- TaintDomain — Boundary domain where tainted data enters or leaves.
- TaintTag — Taint label carried by a value.
- UntaintOptions — Options for untaint boundaries.