Function to_selection 

fn to_selection<'db>(
    span: Span,
    cand: InspectCandidate<'_, 'db>,
) -> Option<ImplSource<'db, Obligation<'db, Predicate<'db>>>>