Skip to content

Obey the return value from the trace visitor under Miri#476

Merged
alexcrichton merged 1 commit intorust-lang:masterfrom
saethlin:miri-pruning
Aug 30, 2022
Merged

Obey the return value from the trace visitor under Miri#476
alexcrichton merged 1 commit intorust-lang:masterfrom
saethlin:miri-pruning

Commits

Commits on Aug 27, 2022