Module contracts

rustc_builtin_macros

Module contracts 

Source

Structs§

ExpandEnsures 🔒
ExpandRequires 🔒

Functions§

expand_contract_clause 🔒
Expand the function signature to include the contract clause.
expand_ensures_tts 🔒
expand_requires_tts 🔒