From e1e903c7b73b3cd7304ab3ae0e34dbb22bbb75e9 Mon Sep 17 00:00:00 2001
From: Jules Bertholet <julesbertholet@quoi.xyz>
Date: Mon, 23 Mar 2026 08:14:09 -0400
Subject: [PATCH] Exclude slow tests from miri

---
 library/coretests/tests/char.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/library/coretests/tests/char.rs b/library/coretests/tests/char.rs
index aa20585953b7..877017f682c9 100644
--- a/library/coretests/tests/char.rs
+++ b/library/coretests/tests/char.rs
@@ -52,6 +52,7 @@ fn test_is_cased() {
 }
 
 #[test]
+#[cfg_attr(miri, ignore)] // Miri is too slow
 fn test_char_case() {
     for c in '\0'..='\u{10FFFF}' {
         match c.case() {
@@ -100,6 +101,7 @@ fn titlecase_fast_path() {
 }
 
 #[test]
+#[cfg_attr(miri, ignore)] // Miri is too slow
 fn at_most_one_case() {
     for c in '\0'..='\u{10FFFF}' {
         assert_eq!(