Function codegen_select_candidate 

pub fn codegen_select_candidate<'tcx>(
    tcx: TyCtxt<'tcx>,
    key: PseudoCanonicalInput<'tcx, TraitRef<'tcx>>,
) -> bool