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