Diffstat (limited to 'tests/protocol_walker_hint.rs')
| -rw-r--r-- | tests/protocol_walker_hint.rs | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/tests/protocol_walker_hint.rs b/tests/protocol_walker_hint.rs index 5c75f33..40c48e5 100644 --- a/tests/protocol_walker_hint.rs +++ b/tests/protocol_walker_hint.rs @@ -1,7 +1,7 @@ use std::any::TypeId; use treaty::{ - any::TypeNameId, + any::{TypeName, TypeNameId}, effect::blocking::Blocking, protocol::walker::hint::{self, HintMeta, HintProto}, }; @@ -302,6 +302,14 @@ mod common; fn hint_proto() { struct MyProtocol; + impl<'a, 'ctx> TypeName::MemberTypeForLt<'a, 'ctx, &'a &'ctx ()> for MyProtocol { + type T = MyProtocol; + } + + impl<'a, 'ctx> TypeName::LowerTypeWithBound<'a, 'ctx, &'a &'ctx ()> for MyProtocol { + type Higher = MyProtocol; + } + impl HintMeta for MyProtocol { type Known = (); type Hint = (); |