Skip to content

Support call and drop terminators in custom mir#105814

Merged
bors merged 1 commit intorust-lang:masterfrom
JakobDegen:custom-mir-terms
Dec 18, 2022

Commits

Commits on Dec 17, 2022