Type Definition rustc_trait_selection::traits::Selection

type Selection<'tcx> = ImplSource<'tcx, Obligation<'tcx, Predicate<'tcx>>>;