pub type FnContracts<'tcx> = Vec<Property<'tcx>>;
A list of parsed requires contracts.
requires
pub struct FnContracts<'tcx> { /* private fields */ }