diff options
| author | ljedrz <ljedrz@gmail.com> | 2018-07-10 20:35:36 +0200 |
|---|---|---|
| committer | ljedrz <ljedrz@gmail.com> | 2018-07-10 20:35:36 +0200 |
| commit | 560d8079ec26f2a45ecb80e95d24917025e02104 (patch) | |
| tree | 6e288b50c28bcd6386874e3f4af71ff10431d190 /src/libstd/lib.rs | |
| parent | 77117e383676176116851d7d3ec04b5e0cf0c456 (diff) | |
Deny bare trait objects in `src/libstd`.
Diffstat (limited to 'src/libstd/lib.rs')
| -rw-r--r-- | src/libstd/lib.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libstd/lib.rs b/src/libstd/lib.rs index d73cb1f8349..006922383cf 100644 --- a/src/libstd/lib.rs +++ b/src/libstd/lib.rs @@ -221,6 +221,7 @@ // Don't link to std. We are std. #![no_std] +#![deny(bare_trait_objects)] #![deny(missing_docs)] #![deny(missing_debug_implementations)] |