Type Definition Selection
Other items inrustc_infer::traits
type Selection<'tcx> = ImplSource<'tcx, PredicateObligation<'tcx>>;