Implement logging warnings for deprecated param usages in funcion call and fix inconsistent behaviour in warnings in deprecated record fields

[dulajdilshan]

Purpose

$title

Fixes #40363
Fixes #40902

Approach

Describe how you are implementing the solutions along with the design details.

Samples

Provide high-level details about the samples related to this feature.

Remarks

List any other known issues, related PRs, TODO items, or any other notes related to the PR.

Check List

• Read the Contributing Guide
• Updated Change Log
• Checked Tooling Support (#)
• Added necessary tests
  • Unit Tests
  • Spec Conformance Tests
  • Integration Tests
  • Ballerina By Example Tests
• Increased Test Coverage
• Added necessary documentation
  • API documentation
  • Module documentation in Module.md files
  • Ballerina By Examples

[codecov]

Codecov Report

Patch coverage: 96.71% and no project coverage change.

Comparison is base (cad922a) 76.43% compared to head (3f153e0) 76.44%.
Report is 32 commits behind head on master.

Additional details and impacted files

@@            Coverage Diff             @@
##             master   #40545    +/-   ##
==========================================
  Coverage     76.43%   76.44%            
- Complexity    52123    52155    +32     
==========================================
  Files          2856     2856            
  Lines        195903   196005   +102     
  Branches      25393    25418    +25     
==========================================
+ Hits         149747   149839    +92     
- Misses        37858    37862     +4     
- Partials       8298     8304     +6     

Files Changed	Coverage Δ
...llerinalang/compiler/util/ImmutableTypeCloner.java	88.44% <ø> (ø)
...llerinalang/compiler/semantics/analyzer/Types.java	81.76% <50.00%> (ø)
...and/visitors/FunctionCallExpressionTypeFinder.java	78.84% <85.71%> (+0.07%)	⬆️
...lang/compiler/semantics/analyzer/CodeAnalyzer.java	87.92% <98.82%> (+0.34%)	⬆️
...g/wso2/ballerinalang/compiler/desugar/Desugar.java	90.31% <100.00%> (ø)
...allerinalang/compiler/parser/BLangNodeBuilder.java	94.42% <100.00%> (ø)
...mpiler/semantics/analyzer/ConstantTypeChecker.java	67.40% <100.00%> (ø)
...rinalang/compiler/semantics/model/SymbolTable.java	96.40% <100.00%> (-0.15%)	⬇️
...ang/langserver/CentralPackageDescriptorLoader.java	80.82% <100.00%> (ø)
...lerinalang/langserver/common/utils/SymbolUtil.java	61.59% <100.00%> (ø)
... and 2 more

... and 3 files with indirect coverage changes

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[MaryamZi]

The original case is not addressed? Passing an argument corresponding to an included record parameter?

#40363 (comment)

[MaryamZi]

No warning for

type Rec record {|
    int a;
    int b;
|};

function fn(@deprecated *Rec r) {

}

public function main() {
    fn(a = 1, b = 2);
}

[MaryamZi]

No warning for

type Rec record {|
    int a;
    int b;
|};

function fn(@deprecated *Rec r) {

}

public function main() {
    fn(a = 1, b = 2);
}

Can you provide an estimate for long it will take to fix this? If it seems like it may take long, let's fix it separately.

[dulajdilshan]

Can you provide an estimate for long it will take to fix this? If it seems like it may take long, let's fix it separately.

Created a new issue: #41204.
Estimated points = 2 points max (Implementing: 1 and addressing-reviews: 1)