Module contracts 

Re-exports

use rustc_ast::token; 🔒

use rustc_ast::tokenstream::DelimSpacing; 🔒

use rustc_ast::tokenstream::DelimSpan; 🔒

use rustc_ast::tokenstream::Spacing; 🔒

use rustc_ast::tokenstream::TokenStream; 🔒

use rustc_ast::tokenstream::TokenTree; 🔒

use rustc_errors::ErrorGuaranteed; 🔒

use rustc_expand::base::AttrProcMacro; 🔒

use rustc_expand::base::ExtCtxt; 🔒

use rustc_span::Span; 🔒

use rustc_span::symbol::Ident; 🔒

use rustc_span::symbol::Symbol; 🔒

use rustc_span::symbol::kw; 🔒

Structs

ExpandEnsures 🔒

ExpandRequires 🔒

Functions

expand_contract_clause 🔒

Expand the function signature to include the contract clause.

expand_contract_clause_tts 🔒