pub fn postorder_cnums<'tcx>(_: TyCtxt<'tcx>, _: &postorder_cnums<'tcx>) -> bool