Function dropck_outlives 

pub fn dropck_outlives<'tcx>(
    tcx: TyCtxt<'tcx>,
    goal: CanonicalDropckOutlivesGoal<'tcx>,
) -> String