Fix wildcard generic types in params not being checked

Author: rubensworks

lib/preprocess/parameterproperty/ParameterPropertyHandlerRange.ts

@@ -381,9 +381,9 @@ export class ParameterPropertyHandlerRange implements IParameterPropertyHandler
                 genericsContext,
                 undefined,
                 [],
-              )) {
+              ) && !this.hasParamValueValidType(value, type, genericTypeInstance, genericsContext)) {
                 // If the generic type instance is just a type, check it against the value in the inner context.
-                // If it does not match, return false.
+                // If it does not match (either is not of that type, or the param type does not match), return false.
                 return false;
               }
             }

test/unit/preprocess/parameterproperty/ParameterPropertyHandlerRange-test.ts

@@ -1804,6 +1804,52 @@ describe('ParameterPropertyHandlerRange', () => {
           }));
         });
 
+        it(`should handle a generic component with value a sub-type with fixed generic with wildcard param generic`, () => {
+          genericsContext = new GenericsContext(objectLoader, []);
+
+          const value = handler.captureType(
+            objectLoader.createCompactedResource({
+              '@type': {
+                '@id': 'ex:SomeType1',
+                extends: {
+                  '@type': 'GenericComponentExtension',
+                  component: {
+                    '@id': 'ex:SomeType2',
+                    genericTypeParameters: [
+                      'ex:SomeType2__generic_T',
+                    ],
+                  },
+                  genericTypeInstances: [
+                    'xsd:integer',
+                  ],
+                },
+              },
+            }),
+            objectLoader.createCompactedResource({
+              range: {
+                '@type': 'ParameterRangeGenericComponent',
+                component: 'ex:SomeType2',
+                genericTypeInstances: [
+                  {
+                    '@type': 'ParameterRangeWildcard',
+                  },
+                ],
+              },
+            }),
+            genericsContext,
+          );
+          expect(value).toBeTruthy();
+          expectOutputProperties(value, objectLoader.createCompactedResource({
+            '@type': [ 'ex:SomeType1' ],
+            genericTypeInstancesComponentScope: 'ex:SomeType2',
+            genericTypeInstances: [
+              {
+                '@type': 'ParameterRangeWildcard',
+              },
+            ],
+          }));
+        });
+
         it(`should throw on a generic component with value a sub-type with fixed generic with incompatible fixed param generic`, () => {
           genericsContext = new GenericsContext(objectLoader, []);