Remove Salt in code generation during build_create

crates/lang/codegen/src/generator/cross_calling.rs

@@ -685,7 +685,7 @@ impl CrossCalling<'_> {
             fn #ident(
                 #( #input_bindings : #input_types ),*
             ) -> Self::#output_ident {
-                ::ink_env::call::build_create::<Environment, Salt, Self>()
+                ::ink_env::call::build_create::<Environment, Self>()
                     .exec_input(
                         ::ink_env::call::ExecutionInput::new(
                             ::ink_env::call::Selector::new([ #( #composed_selector ),* ])

crates/lang/macro/tests/ui/pass/07-flipper-as-dependency.rs

@@ -2,14 +2,26 @@ use ink_lang as ink;
 
 #[ink::contract(compile_as_dependency = true)]
 mod flipper {
+    #[ink_lang::trait_definition]
+    pub trait FlipperTrait {
+        #[ink(constructor)]
+        fn new() -> Self;
+
+        #[ink(message)]
+        fn flip(&mut self);
+
+        #[ink(message)]
+        fn get(&self) -> bool;
+    }
+
     #[ink(storage)]
     pub struct Flipper {
         value: bool,
     }
 
     impl Flipper {
         #[ink(constructor)]
-        pub fn new(init_value: bool) -> Self {
+        pub fn new2(init_value: bool) -> Self {
             Self { value: init_value }
         }
 
@@ -19,12 +31,29 @@ mod flipper {
         }
 
         #[ink(message)]
-        pub fn flip(&mut self) {
+        pub fn flip2(&mut self) {
+            self.value = !self.value;
+        }
+
+        #[ink(message)]
+        pub fn get2(&self) -> bool {
+            self.value
+        }
+    }
+
+    impl FlipperTrait for Flipper {
+        #[ink(constructor)]
+        fn new() -> Self {
+            Self::default()
+        }
+
+        #[ink(message)]
+        fn flip(&mut self) {
             self.value = !self.value;
         }
 
         #[ink(message)]
-        pub fn get(&self) -> bool {
+        fn get(&self) -> bool {
             self.value
         }
     }