fix: fix type infer in assignstmt

[He1pa]

1. Does this PR affect any open issues?(Y/N) and add issue references (e.g. "fix #123", "re #123".):

• N
• Y fix [Enhancement] Do not upgrade type in the assign statement for the literal type #1404

2. What is the scope of this PR (e.g. component or file name):

kclvm/sema/src/resolver/scope.rs

3. Provide a description of the PR(e.g. more details, effects, motivations or doc link):

rename set_type_to_scope -> set_infer_type_to_scope
use annotation type as assign stmt target type if exist

• Affects user behaviors
• Contains syntax changes
• Contains variable changes
• Contains experimental features
• Performance regression: Consumes more CPU
• Performance regression: Consumes more Memory
• Other

4. Are there any breaking changes?(Y/N) and describe the breaking changes(e.g. more details, motivations or doc link):

• N
• Y

5. Are there test cases for these changes?(Y/N) select and add more details, references or doc links:

• Unit test
• Integration test
• Benchmark (add benchmark stats below)
• Manual test (add detailed scripts or steps below)
• Other

[coveralls]

Pull Request Test Coverage Report for Build 9511654935

Details

• 20 of 30 (66.67%) changed or added relevant lines in 3 files are covered.
• 1 unchanged line in 1 file lost coverage.
• Overall coverage decreased (-0.003%) to 71.107%

---

Changes Missing Coverage	Covered Lines	Changed/Added Lines	%
kclvm/sema/src/resolver/node.rs	1	2	50.0%
kclvm/sema/src/resolver/loop.rs	7	10	70.0%
kclvm/sema/src/resolver/scope.rs	12	18	66.67%

Files with Coverage Reduction	New Missed Lines	%
kclvm/sema/src/ty/unify.rs	1	97.81%

Totals
Change from base Build 9479636378:	-0.003%
Covered Lines:	55081
Relevant Lines:	77462

---

💛 - Coveralls