Type Definition Obligations
rustc_trait_selection::traits
type Obligations<'tcx, O> = Vec<Obligation<'tcx, O>>;