Correct overly broad definition of 'static kind bound.

[pnkfelix]

While double-checking my understanding of the meaning of 'static, I made the following test program:

fnfoo<X:'static>(_x:X){}#[cfg(not(acceptable))]fnbar(){let a = 3;let b = &a;foo(b);}#[cfg(acceptable)]fnbar(){static c :int = 4;;let d :&'staticint = &c;foo(d);}fnmain(){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.

[flaper87]

LGTM

[pnkfelix]

(See also #7268, which has related discussion regarding whether &'static T should imply T: 'static.)