From 697dba3bb731e38983db774587b547e14b230865 Mon Sep 17 00:00:00 2001 From: Joshua Nelson Date: Fri, 22 Jan 2021 05:49:52 -0500 Subject: [PATCH] Add link to promotion.md (#1033) * Add link to promotion.md * Improve link text Co-authored-by: Camelid Co-authored-by: Camelid --- src/mir/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/mir/index.md b/src/mir/index.md index 5d137697..306d2abf 100644 --- a/src/mir/index.md +++ b/src/mir/index.md @@ -254,7 +254,7 @@ but [you can read about those below](#promoted)). ### Promoted constants -*to be written* +See the const-eval WG's [docs on promotion](https://github.com/rust-lang/const-eval/blob/master/promotion.md). [mir]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/mir/index.html