Type Alias StructInvariants 

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

A list of parsed struct invariants.

Aliased Type

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