Diffstat (limited to 'tests/builder_enum.rs')
| -rw-r--r-- | tests/builder_enum.rs | 29 |
1 files changed, 18 insertions, 11 deletions
diff --git a/tests/builder_enum.rs b/tests/builder_enum.rs index b589d6c..7eb4574 100644 --- a/tests/builder_enum.rs +++ b/tests/builder_enum.rs @@ -1,9 +1,5 @@ use treaty::{ any::{OwnedStatic, TypeName}, - effect::{ - blocking::Blocking, Effect, Effective as _, EffectiveExt as _, ErasedEffective, - ResultErrorExt as _, - }, protocol::{ visitor::{tags, DynRecoverableScope}, AsVisitor as _, DynVisitor, @@ -12,10 +8,19 @@ use treaty::{ Build, BuildExt as _, Builder, BuilderTypes, Status, }; -use crate::common::protocol::{ - recoverable::{MockRecoverableScopeVisitor, RecoverableVisitorExt as _}, - tag::TagVisitorExt as _, - value::ValueVisitorExt as _, +use crate::common::{ + protocol::{ + recoverable::{MockRecoverableScopeVisitor, RecoverableVisitorExt as _}, + tag::TagVisitorExt as _, + value::ValueVisitorExt as _, + }, + Blocking, +}; + +use effectful::{ + environment::{Environment, NativeForm}, + effective::Effective, + is_send_sync, }; use macro_rules_attribute::derive; @@ -28,6 +33,8 @@ enum X { B(bool), } +is_send_sync!(X); + #[test] fn enum_builder_takes_unsigned_integer_variant_tag() { let mut builder = X::new_builder(); @@ -41,7 +48,7 @@ fn enum_builder_takes_unsigned_integer_variant_tag() { builder.visit_value_and_done(OwnedStatic(1.23f32)); } - assert_eq!(builder.build().value().unwrap(), X::A(1.23)); + assert_eq!(builder.build().into_value().unwrap(), X::A(1.23)); } #[test] @@ -57,7 +64,7 @@ fn enum_builder_takes_string_variant_tag() { builder.visit_value_and_done(OwnedStatic(1.23f32)); } - assert_eq!(builder.build().value().unwrap(), X::A(1.23)); + assert_eq!(builder.build().into_value().unwrap(), X::A(1.23)); } #[test] @@ -90,5 +97,5 @@ fn enum_builder_can_guess_the_variant() { } // The enum should have a value now. - assert_eq!(builder.build().value().unwrap(), X::B(true)); + assert_eq!(builder.build().into_value().unwrap(), X::B(true)); } |