Diffstat (limited to 'tests/protocol_walker_hint.rs')
| -rw-r--r-- | tests/protocol_walker_hint.rs | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/tests/protocol_walker_hint.rs b/tests/protocol_walker_hint.rs index 40c48e5..0751a11 100644 --- a/tests/protocol_walker_hint.rs +++ b/tests/protocol_walker_hint.rs @@ -1,11 +1,13 @@ use std::any::TypeId; +use effectful::is_send_sync; use treaty::{ any::{TypeName, TypeNameId}, - effect::blocking::Blocking, protocol::walker::hint::{self, HintMeta, HintProto}, }; +use crate::common::Blocking; + mod common; // /// This tests for the hint protocol being able to give the known info and being able to hint. @@ -302,11 +304,13 @@ mod common; fn hint_proto() { struct MyProtocol; - impl<'a, 'ctx> TypeName::MemberTypeForLt<'a, 'ctx, &'a &'ctx ()> for MyProtocol { + is_send_sync!(MyProtocol); + + impl<'a, 'ctx> TypeName::MemberTypeForLt<'a, 'ctx, Blocking, &'a &'ctx ()> for MyProtocol { type T = MyProtocol; } - impl<'a, 'ctx> TypeName::LowerTypeWithBound<'a, 'ctx, &'a &'ctx ()> for MyProtocol { + impl<'a, 'ctx> TypeName::LowerTypeWithBound<'a, 'ctx, Blocking, &'a &'ctx ()> for MyProtocol { type Higher = MyProtocol; } @@ -320,7 +324,7 @@ fn hint_proto() { let id = TypeId::of::<HintProto<MyProtocol>>(); // The type id for the lifetime containing value protocol trait object. - let name_id = TypeNameId::of_lower::<dyn hint::Hint<MyProtocol> + Send + Sync>(); + let name_id = TypeNameId::of_lower::<dyn hint::Hint<MyProtocol>, Blocking>(); // They should be the same. assert_eq!(id, name_id.into_type_id()); |