Type Alias FnContracts 

pub(crate) type FnContracts<'tcx> = Vec<Property<'tcx>>;

A list of parsed requires contracts.

Aliased Type

pub(crate) struct FnContracts<'tcx> { /* private fields */ }