UI tests

use-ink · ascjones · Apr 26, 2024 · Apr 8, 2024 · Apr 11, 2024 · Apr 11, 2024
commit 75811af7af031c62d7d66a9dbd03a016aef97abc
@@ -55,7 +55,7 @@ error[E0277]: the trait bound `NonCodecType: WrapperTypeEncode` is not satisfied
              &mut T
    = note: required for `NonCodecType` to implement `Encode`
 note: required by a bound in `ExecutionInput::<ArgumentList<ArgumentListEnd, ArgumentListEnd>>::push_arg`
-  --> $WORKSPACE/crates/env/src/call/execution_input.rs
+  --> $WORKSPACE/crates/env/src/call/execution.rs
    |
    |     pub fn push_arg<T>(
    |            -------- required by a bound in this associated function

@@ -51,7 +51,7 @@ error[E0277]: the trait bound `NonCodecType: WrapperTypeEncode` is not satisfied
              &mut T
    = note: required for `NonCodecType` to implement `Encode`
 note: required by a bound in `ExecutionInput::<ArgumentList<ArgumentListEnd, ArgumentListEnd>>::push_arg`
-  --> $WORKSPACE/crates/env/src/call/execution_input.rs
+  --> $WORKSPACE/crates/env/src/call/execution.rs
    |
    |     pub fn push_arg<T>(
    |            -------- required by a bound in this associated function
@@ -65,7 +65,7 @@ error[E0599]: the method `try_invoke` exists for struct `CallBuilder<DefaultEnvi
 16 |         pub fn message(&self, _input: NonCodecType) {}
    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ method cannot be called due to unsatisfied trait bounds
    |
-  ::: $WORKSPACE/crates/env/src/call/execution_input.rs
+  ::: $WORKSPACE/crates/env/src/call/execution.rs
    |
    | pub struct ArgumentList<Head, Rest> {
    | ----------------------------------- doesn't satisfy `_: Encode`

@@ -40,14 +40,33 @@ error[E0277]: the trait bound `NonCodec: WrapperTypeEncode` is not satisfied
             &mut T
   = note: required for `NonCodec` to implement `Encode`
 note: required by a bound in `ExecutionInput::<ArgumentList<ArgumentListEnd, ArgumentListEnd>>::push_arg`
- --> $WORKSPACE/crates/env/src/call/execution_input.rs
+ --> $WORKSPACE/crates/env/src/call/execution.rs
   |
   |     pub fn push_arg<T>(
   |            -------- required by a bound in this associated function
 ...
   |         T: scale::Encode,
   |            ^^^^^^^^^^^^^ required by this bound in `ExecutionInput::<ArgumentList<ArgumentListEnd, ArgumentListEnd>>::push_arg`
 
+error[E0277]: the trait bound `ArgumentList<Argument<NonCodec>, ArgumentList<ArgumentListEnd, ArgumentListEnd>>: Encode` is not satisfied
+ --> tests/ui/trait_def/fail/message_input_non_codec.rs:5:5
+  |
+5 | /     #[ink(message)]
+6 | |     fn message(&self, input: NonCodec);
+  | |_______________________________________^ the trait `Encode` is not implemented for `ArgumentList<Argument<NonCodec>, ArgumentList<ArgumentListEnd, ArgumentListEnd>>`
+  |
+  = help: the following other types implement trait `Encode`:
+            ArgumentList<Argument<Head>, Rest>
+            ArgumentList<ArgumentListEnd, ArgumentListEnd>
+note: required by a bound in `Execution::<Args, Output>::new`
+ --> $WORKSPACE/crates/env/src/call/execution.rs
+  |
+  |     Args: scale::Encode,
+  |           ^^^^^^^^^^^^^ required by this bound in `Execution::<Args, Output>::new`
+...
+  |     pub fn new(input: ExecutionInput<Args>) -> Self {
+  |            --- required by a bound in this associated function
+
 error[E0599]: the method `try_invoke` exists for struct `CallBuilder<E, Set<Call<E>>, Set<ExecutionInput<ArgumentList<Argument<NonCodec>, ...>>>, ...>`, but its trait bounds were not satisfied
  --> tests/ui/trait_def/fail/message_input_non_codec.rs:5:5
   |
@@ -56,7 +75,7 @@ error[E0599]: the method `try_invoke` exists for struct `CallBuilder<E, Set<Call
 6 | |     fn message(&self, input: NonCodec);
   | |_______________________________________^ method cannot be called due to unsatisfied trait bounds
   |
- ::: $WORKSPACE/crates/env/src/call/execution_input.rs
+ ::: $WORKSPACE/crates/env/src/call/execution.rs
   |
   |   pub struct ArgumentList<Head, Rest> {
   |   ----------------------------------- doesn't satisfy `_: Encode`

@@ -24,6 +24,27 @@ note: required by a bound in `DispatchOutput`
   |     T: scale::Encode + 'static;
   |        ^^^^^^^^^^^^^ required by this bound in `DispatchOutput`
 
+error[E0277]: the trait bound `NonCodec: WrapperTypeDecode` is not satisfied
+ --> tests/ui/trait_def/fail/message_output_non_codec.rs:5:5
+  |
+5 | /     #[ink(message)]
+6 | |     fn message(&self) -> NonCodec;
+  | |__________________________________^ the trait `WrapperTypeDecode` is not implemented for `NonCodec`
+  |
+  = help: the following other types implement trait `WrapperTypeDecode`:
+            Box<T>
+            Rc<T>
+            Arc<T>
+  = note: required for `NonCodec` to implement `ink::parity_scale_codec::Decode`
+note: required by a bound in `Execution::<Args, Output>::new`
+ --> $WORKSPACE/crates/env/src/call/execution.rs
+  |
+  |     Output: scale::Decode,
+  |             ^^^^^^^^^^^^^ required by this bound in `Execution::<Args, Output>::new`
+...
+  |     pub fn new(input: ExecutionInput<Args>) -> Self {
+  |            --- required by a bound in this associated function
+
 error[E0599]: the method `try_invoke` exists for struct `CallBuilder<E, Set<Call<E>>, Set<ExecutionInput<ArgumentList<ArgumentListEnd, ArgumentListEnd>>>, Set<ReturnType<NonCodec>>>`, but its trait bounds were not satisfied
  --> tests/ui/trait_def/fail/message_output_non_codec.rs:5:5
   |