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