fix(python): accept Sequence[T] for array parameters

packages/jsii-pacmak/lib/targets/python.ts

@@ -475,7 +475,10 @@ abstract class BaseMethod implements PythonBase {
         liftedPropNames,
       );
 
-      const paramType = toTypeName(param).pythonType(context);
+      const paramType = toTypeName(param).pythonType({
+        ...context,
+        parameterType: true,
+      });
       const paramDefault = param.optional ? ' = None' : '';
 
       pythonParams.push(`${paramName}: ${paramType}${paramDefault}`);
@@ -507,7 +510,10 @@ abstract class BaseMethod implements PythonBase {
         // Iterate over all of our props, and reflect them into our params.
         for (const prop of liftedProperties) {
           const paramName = toPythonParameterName(prop.name);
-          const paramType = toTypeName(prop).pythonType(context);
+          const paramType = toTypeName(prop).pythonType({
+            ...context,
+            parameterType: true,
+          });
           const paramDefault = prop.optional ? ' = None' : '';
 
           pythonParams.push(`${paramName}: ${paramType}${paramDefault}`);
@@ -1133,7 +1139,10 @@ class StructField implements PythonBase {
 
   public constructorDecl(context: EmitContext) {
     const opt = this.optional ? ' = None' : '';
-    return `${this.pythonName}: ${this.typeAnnotation(context)}${opt}`;
+    return `${this.pythonName}: ${this.typeAnnotation({
+      ...context,
+      parameterType: true,
+    })}${opt}`;
   }
 
   /**

packages/jsii-pacmak/lib/targets/python/type-name.ts

@@ -71,6 +71,13 @@ export interface NamingContext {
    * or not when emitting type signatures.
    */
   readonly emittedTypes: Set<string>;
+
+  /**
+   * Whether the type is emitted for a parameter or not. This may change the
+   * exact type signature being emitted (e.g: Arrays are typing.Sequence[T] for
+   * parameters, and typing.List[T] otherwise).
+   */
+  readonly parameterType?: boolean;
 }
 
 export function toTypeName(ref?: OptionalValue | TypeReference): TypeName {
@@ -160,7 +167,8 @@ class List implements TypeName {
   }
 
   public pythonType(context: NamingContext) {
-    return `typing.List[${this.#element.pythonType(context)}]`;
+    const type = context.parameterType ? 'Sequence' : 'List';
+    return `typing.${type}[${this.#element.pythonType(context)}]`;
   }
 
   public requiredImports(context: NamingContext) {

packages/jsii-pacmak/test/generated-code/harness.ts

@@ -67,7 +67,7 @@ export function verifyGeneratedCodeFor(
 
       expect({ [TREE]: checkTree(outDir) }).toMatchSnapshot('<outDir>/');
 
-      if (targetName !== TargetName.PYTHON) {
+      if (targetName !== TargetName.PYTHON || process.env.SKIP_MYPY_CHECK) {
         return Promise.resolve();
       }
       return runMypy(path.join(outDir, targetName));