Skip to content

Define promotion contexts and promotability#28

Merged
oli-obk merged 9 commits intorust-lang:masterfrom
ecstatic-morse:promotion-terminology
Oct 22, 2019
Merged

Define promotion contexts and promotability#28
oli-obk merged 9 commits intorust-lang:masterfrom
ecstatic-morse:promotion-terminology

Commits

Commits on Oct 11, 2019