Type Definition rustc_infer::traits::Selection

type Selection<'tcx> = ImplSource<'tcx, PredicateObligation<'tcx>>;