From c63b633971a1cb0201b6747ddea2b7c7f82a57b7 Mon Sep 17 00:00:00 2001 From: toidiu Date: Fri, 24 Aug 2018 21:38:53 -0400 Subject: [PATCH] remove dupe attribute --- src/librustc_mir/lib.rs | 1 - 1 file changed, 1 deletion(-) diff --git a/src/librustc_mir/lib.rs b/src/librustc_mir/lib.rs index a8fa69fb471..da29c900b8f 100644 --- a/src/librustc_mir/lib.rs +++ b/src/librustc_mir/lib.rs @@ -16,7 +16,6 @@ #![cfg_attr(not(stage0), feature(nll))] #![cfg_attr(not(stage0), feature(infer_outlives_requirements))] -#![feature(infer_outlives_requirements)] #![feature(in_band_lifetimes)] #![feature(slice_patterns)] #![feature(slice_sort_by_cached_key)] -- GitLab