[Task]: Handle duplicate typedesc creation for remaining case

[rdulmina]

Description

Duplicate typedesc creation for type definitions and in statement level is handled by #38844. How ever there are few cases left to be handled only for anonymous types. Please find the cases below. Record type works fine since it has a type definition created.

1. function-signature := ( param-list ) return-type-descriptor (param list also contains typedesc)

2. Expressions can contain anonymous type descriptors. Those are not handled at the global level.
   eg:
   int a = int a = let [int] a = [1] in a[0];
   boolean bool = someVar is [int];

3. object-field in module class definition :=
   metadata [object-visibility-qual] [final]
   type-descriptor field-name [= field-initializer] ;

4. listener-decl :=
   metadata
   [public] listener [type-descriptor] variable-name = expression ;

5. service-decl :=
   metadata [isolated-qual]
   service [type-descriptor] [attach-point] on expression-list object-constructor-block [;]

6. annotation-decl :=
   metadata
   [public] [const] annotation [type-descriptor] annot-tag

7. For samples like below

     public type Identifier record {|
	    string name;
     |};
    
     table<Identifier> & readonly q = table [{name: "Jo"}];

The row type will be Immutable Identifier and there will be no intersection type definition created for that. Only the immutable record type is created. Because of that no typedesc created for row type intersection at Desugar. BIRGen will create duplicate type desc.

Describe your task(s)

No response

Related area

-> Compilation

Related issue(s) (optional)

No response

Suggested label(s) (optional)

No response

Suggested assignee(s) (optional)

No response