[Fix] Check type of struct init expression.

compiler/passes/src/type_checking/checker.rs

@@ -321,12 +321,11 @@ impl<'a> TypeChecker<'a> {
 
  /// Returns the `struct` type and emits an error if the `expected` type does not match.
  pub(crate) fn check_expected_struct(&mut self, struct_: Identifier, expected: &Option<Type>, span: Span) -> Type {
- if let Some(Type::Identifier(expected)) = expected {
- if !struct_.matches(expected) {
- self.emit_err(TypeCheckerError::type_should_be(struct_.name, expected.name, span));
+ if let Some(expected) = expected {
+ if !Type::Identifier(struct_).eq_flat(expected) {
+ self.emit_err(TypeCheckerError::type_should_be(struct_.name, expected, span));
  }
  }
-
  Type::Identifier(struct_)
  }
 

tests/expectations/compiler/records/return_record_instead_of_unit_fail.out

@@ -0,0 +1,5 @@
+---
+namespace: Compile
+expectation: Fail
+outputs:
+ - "Error [ETYC0372003]: Expected type `()` but type `test_credits` was found\n --> compiler-test:11:16\n |\n 11 | return test_credits {\n | ^^^^^^^^^^^^\n"

tests/tests/compiler/records/return_record_instead_of_unit_fail.leo

@@ -0,0 +1,20 @@
+/*
+namespace: Compile
+expectation: Fail
+*/
+
+program test.aleo {
+ record test_credits {
+ owner: address,
+ gates: u64,
+ amount: u64
+ }
+
+ transition mint_credits(to: address, amount: u64) {
+ return test_credits {
+ owner: self.caller,
+ gates: 0u64,
+ amount
+ };
+ }
+}