diff options
| author | Eduard Burtescu <edy.burt@gmail.com> | 2014-02-24 22:45:31 +0200 |
|---|---|---|
| committer | Eduard Burtescu <edy.burt@gmail.com> | 2014-02-24 22:45:31 +0200 |
| commit | 3e531ed0edd44c5af714fdeaa0cddb9d5c8154a2 (patch) | |
| tree | d894b94122f7c297cbba7cca5fc31bd5da557789 /src/libstd/lib.rs | |
| parent | 672097753a217d4990129cbdfab16ef8c9b08b21 (diff) | |
| download | rust-3e531ed0edd44c5af714fdeaa0cddb9d5c8154a2.tar.gz rust-3e531ed0edd44c5af714fdeaa0cddb9d5c8154a2.zip | |
Gate default type parameter overrides.
Fixes #12423.
Diffstat (limited to 'src/libstd/lib.rs')
| -rw-r--r-- | src/libstd/lib.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/libstd/lib.rs b/src/libstd/lib.rs index d7fc85bc259..e96eedea5cb 100644 --- a/src/libstd/lib.rs +++ b/src/libstd/lib.rs @@ -56,6 +56,8 @@ // Turn on default type parameters. #[feature(default_type_params)]; +// NOTE remove the following two attributes after the next snapshot. +#[allow(unrecognized_lint)]; #[allow(default_type_param_usage)]; // Don't link to std. We are std. |