pub fn dropck_outlives<'tcx>(
    _tcx: TyCtxt<'tcx>,
    value: dropck_outlives<'tcx>
) -> Erase<dropck_outlives<'tcx>>