Python constructs do not implement their interfaces

Many constructs in python do not implement their corresponding interfaces (e.g. aws_ec2.SecurityGroup does not implement aws_ec2.ISecurityGroup, Vpc does not implement IVpc, HostedZone does not implment IHostedZone etc.)

This causes typing errors since some methods are declared as accepting the interface and so will not accept the implementation.

Reproduction Steps

Run mypy on this:

#!/usr/bin/env python3

from aws_cdk import (
    core,
    aws_ec2 as ec2,
    aws_ecs as ecs,
    aws_route53 as route53,
    aws_ecs_patterns as ecs_patterns,
)


app = core.App()
stack = core.Stack(app, "stack")
vpc = ec2.Vpc(stack, "VPC", cidr="10.0.0.0/16")
sg = ec2.SecurityGroup(
    stack,
    "SG",
    vpc=vpc,
)
zone = route53.HostedZone(
    stack,
    "Zone",
    zone_name="example.com",
    vpcs=[vpc],
)
ecs_patterns.ApplicationLoadBalancedFargateService(
    stack,
    "FGS",
    vpc=vpc,
    security_groups=[sg],
    domain_name="f.example.com",
    domain_zone=zone,
    task_image_options=ecs_patterns.ApplicationLoadBalancedTaskImageOptions(
        image=ecs.ContainerImage.from_registry("foobar"),
        container_name="foobar",
    ),
)

app.synth()

What did you expect to happen?

No errors.

What actually happened?

Multiple typing errors.

$ mypy app.py
app.py:18: error: Argument "vpc" to "SecurityGroup" has incompatible type "Vpc"; expected "IVpc"
app.py:18: note: Following member(s) of "Vpc" have conflicts:
app.py:18: note:     Expected:
app.py:18: note:         def __jsii_proxy_class__() -> Type[_IVpcProxy]
app.py:18: note:     Got:
app.py:18: note:         def __jsii_proxy_class__() -> Type[_ResourceProxy]
app.py:24: error: List item 0 has incompatible type "Vpc"; expected "IVpc"
app.py:24: note: Following member(s) of "Vpc" have conflicts:
app.py:24: note:     Expected:
app.py:24: note:         def __jsii_proxy_class__() -> Type[_IVpcProxy]
app.py:24: note:     Got:
app.py:24: note:         def __jsii_proxy_class__() -> Type[_ResourceProxy]
app.py:29: error: Argument "vpc" to "ApplicationLoadBalancedFargateService" has incompatible type "Vpc"; expected "Optional[IVpc]"
app.py:30: error: List item 0 has incompatible type "SecurityGroup"; expected "ISecurityGroup"
app.py:30: note: Following member(s) of "SecurityGroup" have conflicts:
app.py:30: note:     Expected:
app.py:30: note:         def __jsii_proxy_class__() -> Type[_ISecurityGroupProxy]
app.py:30: note:     Got:
app.py:30: note:         def __jsii_proxy_class__() -> Type[_ResourceProxy]
app.py:32: error: Argument "domain_zone" to "ApplicationLoadBalancedFargateService" has incompatible type "HostedZone"; expected "Optional[IHostedZone]"
Found 5 errors in 1 file (checked 1 source file)

Environment

• CDK CLI Version : 1.92.0 (build de536cc)
• Framework Version: 1.92.0
• Node.js Version: v14.15.0
• OS : macOS 10.15.7
• Language (Version): Python 3.8.7

Other

---

This is 🐛 Bug Report

[rectalogic]

OK, I pushed a better test that reproduces the original issue more closely

tests/test_python.py::TestErrorHandling::test_implements_interface PASSED [100%]

=================================== FAILURES ===================================
_________________________________ test session _________________________________
mypy exited with status 1.
_____________________________ tests/test_python.py _____________________________
40: error: Argument 1 to "interface_func" has incompatible type "Vpc"; expected "IVpc"
40: note: Following member(s) of "Vpc" have conflicts:
40: note:     Expected:
40: note:         def __jsii_proxy_class__() -> Type[_IVpcProxy]
40: note:     Got:
40: note:         def __jsii_proxy_class__() -> Type[_ResourceProxy]
===================================== mypy =====================================
Found 1 error in 1 file (checked 20 source files)
=========================== short test summary info ============================
FAILED setup.py::mypy-status
FAILED tests/test_python.py::mypy
=================== 2 failed, 122 passed, 1 skipped in 6.59s ===================

/Users/aw/Projects/cureatr/dev/cureatr/experiments/jsii/packages/@jsii/python-runtime/build-tools/_constants.ts:25
    throw new Error(
          ^
Error: Command failed with code 1: /Users/aw/Projects/cureatr/dev/cureatr/experiments/jsii/packages/@jsii/python-runtime/.env/bin/py.test -v --mypy
    at Object.runCommand (/Users/aw/Projects/cureatr/dev/cureatr/experiments/jsii/packages/@jsii/python-runtime/build-tools/_constants.ts:25:11)
    at Object.<anonymous> (/Users/aw/Projects/cureatr/dev/cureatr/experiments/jsii/packages/@jsii/python-runtime/build-tools/venv.ts:11:1)
    at Module._compile (internal/modules/cjs/loader.js:778:30)
    at Module.m._compile (/Users/aw/Projects/cureatr/dev/cureatr/experiments/jsii/node_modules/ts-node/src/index.ts:1056:23)
    at Module._extensions..js (internal/modules/cjs/loader.js:789:10)
    at Object.require.extensions.(anonymous function) [as .ts] (/Users/aw/Projects/cureatr/dev/cureatr/experiments/jsii/node_modules/ts-node/src/index.ts:1059:12)
    at Module.load (internal/modules/cjs/loader.js:653:32)
    at tryModuleLoad (internal/modules/cjs/loader.js:593:12)
    at Function.Module._load (internal/modules/cjs/loader.js:585:3)
    at Function.Module.runMain (internal/modules/cjs/loader.js:831:12)

[rectalogic]

Verified are all the same version. Looking at the python source you can see the issue, e.g. aws_cdk/aws_ec2/__init__.py has

@jsii.interface(jsii_type="@aws-cdk/aws-ec2.IVpc")
class IVpc(aws_cdk.core.IResource, typing_extensions.Protocol):
    @builtins.staticmethod
    def __jsii_proxy_class__() -> typing.Type["_IVpcProxy"]:

and

@jsii.implements(IVpc)
class Vpc(
    aws_cdk.core.Resource,
    metaclass=jsii.JSIIMeta,
    jsii_type="@aws-cdk/aws-ec2.Vpc",
):

So Vpc inherits core.Resource in aws_cdk/core/__init__.py which has:

@jsii.implements(IResource)
class Resource(
    Construct,
    metaclass=jsii.JSIIAbstractClass,
    jsii_type="@aws-cdk/core.Resource",
):
    '''A construct which represents an AWS resource.'''

    @builtins.staticmethod
    def __jsii_proxy_class__() -> typing.Type["_ResourceProxy"]:

So Vpc and IVpc have different return type signatures on __jsii_proxy_class__ and this is true for many classes and their interfaces in CDK, and so mypy complains.