From 5967cf1a3ae6fde206ae03a6a2ffc389917db3d5 Mon Sep 17 00:00:00 2001 From: Zalathar Date: Sat, 23 Nov 2024 16:13:53 +1100 Subject: [PATCH] Remove unnecessary `#![allow(unused_features)]` --- library/profiler_builtins/src/lib.rs | 1 - 1 file changed, 1 deletion(-) diff --git a/library/profiler_builtins/src/lib.rs b/library/profiler_builtins/src/lib.rs index b868cdde405a9..68b6058db978c 100644 --- a/library/profiler_builtins/src/lib.rs +++ b/library/profiler_builtins/src/lib.rs @@ -1,6 +1,5 @@ // tidy-alphabetical-start #![allow(internal_features)] -#![allow(unused_features)] #![feature(profiler_runtime)] #![feature(staged_api)] // tidy-alphabetical-end