From 191a3e9134b07c82b5d742bc683fa916799f24e8 Mon Sep 17 00:00:00 2001 From: rvcas Date: Wed, 13 Mar 2024 20:21:33 -0400 Subject: [PATCH] chore: weird thing from rebase --- crates/aiken-lang/src/tests/check.rs | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/crates/aiken-lang/src/tests/check.rs b/crates/aiken-lang/src/tests/check.rs index 9d635cec..620141b0 100644 --- a/crates/aiken-lang/src/tests/check.rs +++ b/crates/aiken-lang/src/tests/check.rs @@ -1761,7 +1761,7 @@ fn backpassing_type_annotation() { (Foo(1), inputs) } [input, ..remaining_inputs] -> { - + callback(input)( fn(foo) { transition_fold4( @@ -1779,7 +1779,7 @@ fn backpassing_type_annotation() { transition_fold4( x, ) - + fn(g){ g(if input.foo == 1{ 1 @@ -1787,13 +1787,14 @@ fn backpassing_type_annotation() { 2 }) } - + } "#; assert!(check(parse(source_code)).is_ok()) } +#[test] fn forbid_expect_into_opaque_type_from_data() { let source_code = r#" opaque type Thing { inner: Int }