Commit c0320dc
authored
Rollup merge of rust-lang#149481 - RalfJung:threadid-fallback, r=joboet
ThreadId generation fallback path: avoid spurious yields
Fixes rust-lang/miri#4737
Alternative to rust-lang#149476
Cc `@orlp` `@joboet`1 file changed
Lines changed: 4 additions & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
70 | 70 | | |
71 | 71 | | |
72 | 72 | | |
73 | | - | |
| 73 | + | |
| 74 | + | |
| 75 | + | |
74 | 76 | | |
75 | 77 | | |
76 | 78 | | |
| |||
80 | 82 | | |
81 | 83 | | |
82 | 84 | | |
| 85 | + | |
83 | 86 | | |
84 | 87 | | |
85 | 88 | | |
| |||
0 commit comments