diff options
| author | leonardo.yvens <leoyvens@gmail.com> | 2017-10-14 18:23:50 -0300 |
|---|---|---|
| committer | leonardo.yvens <leoyvens@gmail.com> | 2017-11-03 16:13:21 -0200 |
| commit | 8b586e68b5b41cbc44f6e7936487061dc833ebed (patch) | |
| tree | c4f726160cfa01352d9efcca5a1d6d3745a644bf /src/rtstartup | |
| parent | 0d1b79a01a95241d174ad4e5fe03c0b3d3517746 (diff) | |
| download | rust-8b586e68b5b41cbc44f6e7936487061dc833ebed.tar.gz rust-8b586e68b5b41cbc44f6e7936487061dc833ebed.zip | |
auto trait future compatibility lint
Diffstat (limited to 'src/rtstartup')
| -rw-r--r-- | src/rtstartup/rsbegin.rs | 6 | ||||
| -rw-r--r-- | src/rtstartup/rsend.rs | 2 |
2 files changed, 7 insertions, 1 deletions
diff --git a/src/rtstartup/rsbegin.rs b/src/rtstartup/rsbegin.rs index 8733c7436d5..d33b5248629 100644 --- a/src/rtstartup/rsbegin.rs +++ b/src/rtstartup/rsbegin.rs @@ -14,7 +14,7 @@ // When an executable or dylib image is linked, all user code and libraries are // "sandwiched" between these two object files, so code or data from rsbegin.o // become first in the respective sections of the image, whereas code and data -// from rsend.o become the last ones. This effect can be used to place symbols +// from rsend.o become the last ones. This effect can be used to place symbols // at the beginning or at the end of a section, as well as to insert any required // headers or footers. // @@ -31,11 +31,15 @@ trait Sized {} #[lang = "sync"] trait Sync {} +#[allow(unknown_lints)] +#[allow(auto_impl)] impl Sync for .. {} #[lang = "copy"] trait Copy {} #[lang = "freeze"] trait Freeze {} +#[allow(unknown_lints)] +#[allow(auto_impl)] impl Freeze for .. {} #[lang = "drop_in_place"] diff --git a/src/rtstartup/rsend.rs b/src/rtstartup/rsend.rs index a6aed3540dd..410366d0d7f 100644 --- a/src/rtstartup/rsend.rs +++ b/src/rtstartup/rsend.rs @@ -23,6 +23,8 @@ impl<T> Sync for T {} trait Copy {} #[lang = "freeze"] trait Freeze {} +#[allow(unknown_lints)] +#[allow(auto_impl)] impl Freeze for .. {} #[lang = "drop_in_place"] |