This PR contains fixes in handling of generic classes during constructor sequence generation:
For generic types, keep track of their instantiated types as defined in a constructor parameter and use that to perform type substitution in the constructor call operation
Avoid creating constructor sequences for generic types during initial sequence pool augmented; sequences for such type should be created in the context of an instantiated type (defined as a method/constructor formal parameter)
Related to # (experiment issues)
Type of Change
Please check the types of changes your PR introduces.
[x] Bug fix (non-breaking change that fixes an issue)
[ ] New feature (non-breaking change that adds functionality)
[ ] Refactoring (non-breaking code restructuring that preserves functionality)
[ ] Breaking change (fix or feature that would cause existing functionality to not work as expected)
[ ] Build-related update (CI workflow, test cases)
[ ] Documentation update
[ ] Other (please describe):
How Has This Been Tested?
Tested locally using failing apps from the experiment benchmark
Checklist
[ ] My code follows the style guidelines of this project
[ ] I have performed a self-review of my own code
[ ] I have commented my code, particularly in hard-to-understand areas
[ ] I have made corresponding changes to the documentation
[ ] I have added tests that prove my fix is effective or that my feature works
[ ] New and existing tests pass locally with my changes
[ ] Any dependent changes have been merged and published in downstream modules
Description
This PR contains fixes in handling of generic classes during constructor sequence generation:
Related to # (experiment issues)
Type of Change
Please check the types of changes your PR introduces.
How Has This Been Tested?
Tested locally using failing apps from the experiment benchmark
Checklist