phew, tests pass

flux-rs · Oct 29, 2023 · 5b982ca · 5b982ca
1 parent 6be28d7
commit 5b982ca
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/crates/flux-tests/tests/lib/rset.rs b/crates/flux-tests/tests/lib/rset.rs
@@ -8,7 +8,8 @@ pub struct RSet<T> {
     pub inner: std::collections::HashSet<T>,
 }
 
-// TODO: (RJ) I get some odd error with `T as spl` ...?
+// TODO: (RJ) I get some odd error with `T as spl` / cannot refine if I just remove this annotation!
+// error: internal compiler error: crates/flux-middle/src/rty/subst.rs:353:30: expected base type for generic parameter, found `∃int. { i32[^0#0] | * }`
 #[flux::generics(T as base)]
 impl<T> RSet<T> {
     #[flux::trusted]