ContractEnsures
rustc_
span
1.92.0-nightly
(6501e64fc 2025-10-23)
In rustc_
span::
symbol::
kw
rustc_span
::
symbol
::
kw
Constant
Contract
Ensures
Copy item path
Source
pub const ContractEnsures:
Symbol
;