Update write_invalid.rs

Remove the fix me comment
tautschnig · Apr 5, 2024 · 013c6a3 · 013c6a3
1 parent d1104fb
commit 013c6a3
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/tests/kani/ValidValues/write_invalid.rs b/tests/kani/ValidValues/write_invalid.rs
@@ -6,9 +6,6 @@
 //! Writing invalid bytes is not UB as long as the incorrect value is not read.
 //! However, we over-approximate for sake of simplicity and performance.
 
-// Note: We're getting an unexpected compilation error because the type returned
-// from StableMIR is `Alias`: https://github.com/model-checking/kani/issues/3113
-
 use std::num::NonZeroU8;
 
 #[kani::proof]