diff --git a/src/uu/tr/src/operation.rs b/src/uu/tr/src/operation.rs
index f945bebca7c..6c3af49304a 100644
--- a/src/uu/tr/src/operation.rs
+++ b/src/uu/tr/src/operation.rs
@@ -300,11 +300,12 @@ impl Sequence {
         set2_uniques.sort_unstable();
         set2_uniques.dedup();
 
+        let set1_has_class = set1.iter().any(|x| matches!(x, Self::Class(_)));
         // If the complement flag is used in translate mode, only one unique
         // character may appear in set2. Validate this with the set of uniques
         // in set2 that we just generated.
         // Also, set2 must not overgrow set1, otherwise the mapping can't be 1:1.
-        if set1.iter().any(|x| matches!(x, Self::Class(_)))
+        if set1_has_class
             && translating
             && complement_flag
             && (set2_uniques.len() > 1 || set2_solved.len() > set1_len)
@@ -314,7 +315,23 @@ impl Sequence {
 
         if set2_solved.len() < set1_solved.len() {
             if truncate_set1_flag {
-                set1_solved.truncate(set2_solved.len());
+                if complement_flag && set1_has_class {
+                    // GNU applies -t before complementing a character class.
+                    // That means we must first truncate the expanded, non-complemented
+                    // source set, then complement the truncated prefix to recover the
+                    // final translation domain. Complementing first would incorrectly
+                    // shrink the complemented domain to the prefix length.
+                    let truncated_set1: Vec<_> = set1
+                        .iter()
+                        .flat_map(Self::flatten)
+                        .take(set2_solved.len())
+                        .collect();
+                    set1_solved = (0..=u8::MAX)
+                        .filter(|x| !truncated_set1.contains(x))
+                        .collect();
+                } else {
+                    set1_solved.truncate(set2_solved.len());
+                }
             } else if matches!(
                 set2.last().copied(),
                 Some(Self::Class(Class::Upper | Class::Lower))
diff --git a/tests/by-util/test_tr.rs b/tests/by-util/test_tr.rs
index fd4fc91a7fd..785c01fafe1 100644
--- a/tests/by-util/test_tr.rs
+++ b/tests/by-util/test_tr.rs
@@ -341,6 +341,14 @@ fn test_truncate_with_set1_shorter_than_set2() {
         .stdout_is("xycde");
 }
 
+#[test]
+fn test_truncate_applies_before_complement_with_class() {
+    new_ucmd!()
+        .args(&["-ct", "[:digit:]", "X"])
+        .pipe_in("A")
+        .succeeds()
+        .stdout_is("X");
+}
 #[test]
 fn missing_args_fails() {
     let (_, mut ucmd) = at_and_ucmd!();