diff options
| author | Alexis Beingessner <a.beingessner@gmail.com> | 2015-07-29 15:55:19 -0700 |
|---|---|---|
| committer | Alexis Beingessner <a.beingessner@gmail.com> | 2015-07-29 15:55:19 -0700 |
| commit | 4c48ffa53e7b9aa008bed5ac92a8362c0574172e (patch) | |
| tree | 0375db4229e66cd9f4ee68284ac08e57d15cf364 | |
| parent | b539906de1d12dc935a1c3db9e511518dddabb3d (diff) | |
| download | rust-4c48ffa53e7b9aa008bed5ac92a8362c0574172e.tar.gz rust-4c48ffa53e7b9aa008bed5ac92a8362c0574172e.zip | |
add warning about reference section
| -rw-r--r-- | src/doc/tarpl/references.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/doc/tarpl/references.md b/src/doc/tarpl/references.md index da70dd52907..3d7369eca0f 100644 --- a/src/doc/tarpl/references.md +++ b/src/doc/tarpl/references.md @@ -22,6 +22,10 @@ what *aliased* means. To define aliasing, we must define the notion of *paths* and *liveness*. +**NOTE: The model that follows is generally agreed to be dubious and have +issues. It's ok-ish as an intuitive model, but fails to capture the desired +semantics. We leave this here to be able to use notions introduced here in later +sections. This will be significantly changed in the future. TODO: do that.** # Paths |
