fix(gnovm): handle type alias declaration for PrimitiveType

[hthieu1110]

Fixes: #3203

Contributors' checklist...

• Added new tests, or not needed, or not feasible
• Provided an example (e.g. screenshot) to aid review or the PR is self-explanatory
• Updated the official documentation or not needed
• No breaking changes were made, or a BREAKING CHANGE: xxx message was included in the description
• Added references to related issues and PRs
• Provided any useful hints for running manual tests

[codecov]

Codecov Report

Attention: Patch coverage is 18.75000% with 39 lines in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
contribs/github-bot/config.go	0.00%	26 Missing ⚠️
contribs/github-bot/matrix.go	0.00%	6 Missing ⚠️
...ontribs/github-bot/internal/requirements/branch.go	25.00%	2 Missing and 1 partial ⚠️
contribs/github-bot/comment.go	0.00%	2 Missing ⚠️
contribs/github-bot/internal/client/client.go	0.00%	1 Missing ⚠️
contribs/github-bot/internal/params/prlist.go	0.00%	1 Missing ⚠️

📢 Thoughts on this report? Let us know!

[mvertes]

Looks good to me

[gh-gno-bot]

Merge Requirements

The following requirements must be fulfilled before a pull request can be merged.
Some requirement checks are automated and can be verified by the CI, while others need manual verification by a staff member.

These requirements are defined in this configuration file.

Automated Checks

🟢 Maintainers must be able to edit this pull request
🟢 The pull request head branch must be up-to-date with its base

Details

Maintainers must be able to edit this pull request

If

🟢 Condition met
└── 🟢 On every pull request

Then

🟢 Requirement satisfied
└── 🟢 Maintainer can modify this pull request

The pull request head branch must be up-to-date with its base

If

🟢 Condition met
└── 🟢 On every pull request

Then

🟢 Requirement satisfied
└── 🟢 Head branch (hthieu1110:fix/mishandling-of-type-declaration-3203) is up to date with base (master): behind by 0 / ahead by 7

Manual Checks

• The pull request description provides enough details

Details

The pull request description provides enough details

If

🟢 Condition met
└── 🟢 Not (🔴 Pull request author is a member of the team: core-contributors)

Can be checked by

• team core-contributors

[omarsy]

WDYT, handle other types like PointerType, NativeType ... ?
example this:

package main

type (
	Number  = *int32
	Number2 = Number
)

func f(n Number) { println(n) }

func main() {
	var n int32 = 5
	f(&n)
}

[hthieu1110]

I think it's good idea

[hthieu1110]

I've added cases for PointerType. I think all the existing handled cases + PrimitiveCase cover already Native case so it should be fine

[hthieu1110]

@omarsy just found this: #1361 which confirms that we dont need to process NativeType