Remove unnecessary unstable feature

HigherOrderCO · Mar 6, 2024 · 0cc4399 · 0cc4399
1 parent 5804450
commit 0cc4399
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/src/lib.rs b/src/lib.rs
@@ -1,6 +1,5 @@
 #![feature(box_patterns)]
 #![feature(let_chains)]
-#![feature(trusted_len)]
 
 use diagnostics::{Info, Warning};
 use hvmc::{

diff --git a/tests/golden_tests.rs b/tests/golden_tests.rs
@@ -266,7 +266,7 @@ fn desugar_file() {
 #[test]
 #[ignore = "to not delay golden tests execution"]
 fn hangs() {
-  let expected_normalization_time = 1;
+  let expected_normalization_time = 5;
 
   run_golden_test_dir(function_name!(), &|code, path| {
     let book = do_parse_book(code, path)?;