fix: issue #90 on config_expr type infer.

[Peefy]

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

• N
• Y

fix #90

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

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

• 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

The test case in kclvm/sema/src/resolver/test_fail_data/config_expr.k is used to test config_expr type check error.

6. Release note

Please refer to Release Notes Language Style Guide to write a quality release note.

None

[coveralls]

Pull Request Test Coverage Report for Build 2495712525

• 13 of 13 (100.0%) changed or added relevant lines in 2 files are covered.
• 393 unchanged lines in 2 files lost coverage.
• Overall coverage increased (+0.4%) to 36.978%

---

Files with Coverage Reduction	New Missed Lines	%
kclvm/sema/src/resolver/scope.rs	4	39.11%
kclvm/3rdparty/rustc_span/src/lib.rs	389	31.15%

Totals
Change from base Build 2473460180:	0.4%
Covered Lines:	13468
Relevant Lines:	36422

---

💛 - Coveralls

[chai2010]

LGTM

[zong-zhe]

LGTM