diff options
| author | bors <bors@rust-lang.org> | 2014-03-24 10:01:57 -0700 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2014-03-24 10:01:57 -0700 |
| commit | e6468a82151c073130dc1c6517890bb41929ad11 (patch) | |
| tree | 75b8efa0abff0babb865ea530d68dd468b752ff5 /src/rustllvm/ExecutionEngineWrapper.cpp | |
| parent | f8f60d80bf573cd8b4b5680b44c9cabe2b862f78 (diff) | |
| parent | 57ac379a630d9756c71f2747debe1756ccf62c5f (diff) | |
| download | rust-e6468a82151c073130dc1c6517890bb41929ad11.tar.gz rust-e6468a82151c073130dc1c6517890bb41929ad11.zip | |
auto merge of #13113 : pnkfelix/rust/correct-static-kind-doc, r=huonw
While double-checking my understanding of the meaning of `'static`, I made the following test program:
```rust
fn foo<X:'static>(_x: X) { }
#[cfg(not(acceptable))]
fn bar() {
let a = 3;
let b = &a;
foo(b);
}
#[cfg(acceptable)]
fn bar() {
static c : int = 4;;
let d : &'static int = &c;
foo(d);
}
fn main() {
bar();
}
```
Transcript of compiling above program, illustrating that the `--cfg acceptable` variant of `bar` compiles successfully, showing that the`'static` kind bound only disallows non-`static` references, not *all* references:
```
% rustc --version
/Users/fklock/opt/rust-dbg/bin/rustc 0.10-pre (caf17fe 2014-03-21 02:21:50 -0700)
host: x86_64-apple-darwin
% rustc /tmp/s.rs
/tmp/s.rs:7:5: 7:8 error: instantiating a type parameter with an incompatible type `&int`, which does not fulfill `'static`
/tmp/s.rs:7 foo(b);
^~~
error: aborting due to previous error
% rustc --cfg acceptable /tmp/s.rs
% ./s
%
```
(Note that the explicit type annotation on `let d : &'static int` is necessary; it did not suffice for me to just write `let d = &'static c;`. That might be a latent bug, I am not sure yet.)
Anyway, a fix to the documentation seemed prudent.
Diffstat (limited to 'src/rustllvm/ExecutionEngineWrapper.cpp')
0 files changed, 0 insertions, 0 deletions
