Diffstat (limited to 'tests/walker_struct.rs')
| -rw-r--r-- | tests/walker_struct.rs | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/tests/walker_struct.rs b/tests/walker_struct.rs index f4cc910..01ae867 100644 --- a/tests/walker_struct.rs +++ b/tests/walker_struct.rs @@ -1,5 +1,5 @@ use effectful::{ - bound::{DynamicShim, ForceDynamic}, effective::Effective, environment::{Environment, NativeForm}, SendSync + bound::{DynamicShim, ForceDynamic, Dynamic}, effective::Effective, environment::{Environment, NativeForm, DynBind}, SendSync }; use mockall::predicate::eq; use treaty::{ @@ -29,7 +29,11 @@ struct X { struct Info; // This gives the struct walker enough information to walk the X struct. -impl<'ctx, M, E: Environment> StructTypeInfo<'ctx, M, E> for Info { +impl<'ctx, M, E: Environment> StructTypeInfo<'ctx, M, E> for Info +where + Dynamic<OwnedStatic<bool>>: DynBind<E>, + Dynamic<OwnedStatic<i32>>: DynBind<E>, +{ const NAME: &'static str = "X"; const FIELDS: &'static [&'static str] = &["a", "b"]; |