From 3e531ed0edd44c5af714fdeaa0cddb9d5c8154a2 Mon Sep 17 00:00:00 2001 From: Eduard Burtescu Date: Mon, 24 Feb 2014 22:45:31 +0200 Subject: Gate default type parameter overrides. Fixes #12423. --- src/libstd/lib.rs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/libstd') 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. -- cgit 1.4.1-3-g733a5