mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Clarify why 'static is free

This commit is contained in:
Who? Me?! 2018-10-22 12:37:13 -05:00
parent 3e47ef6aa5
commit 5a6fb3a4a6
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/traits/canonicalization.md
View File

@ -42,7 +42,11 @@ This query contains two unbound variables, but it also contains the
lifetime `'static`. The trait system generally ignores all lifetimes lifetime `'static`. The trait system generally ignores all lifetimes
and treats them equally, so when canonicalizing, we will *also* and treats them equally, so when canonicalizing, we will *also*
replace any [free lifetime](../appendix/background.html#free-vs-bound) with a replace any [free lifetime](../appendix/background.html#free-vs-bound) with a
canonical variable. Therefore, we get the following result: canonical variable (Note that `'static` is actually a _free_ lifetime
variable here. We are not considering it in the typing context of the whole
program but only in the context of this trait reference. Mathematically, we
are not quantifying over the whole program, but only this obligation).
Therefore, we get the following result:
```text ```text
?0: Foo<'?1, ?2> ?0: Foo<'?1, ?2>