Hello, I'd like to report a small bug with typing. I noticed that for resource properties that are decorated with

@pulumi.getter

, without a name specified, the inferred type (both by Mypy and Pylance) is

Any

, even if the resource is properly typed. See first screenshot. Adding a name to

@pulumi.getter

, makes the type inference work properly (see 2nd screenshot):

@property
@pulumi.getter(name='arn')
def arn(self) -> pulumi.Output[str]:
    """
    The ARN of the bucket. Will be of format `arn:aws:s3:::bucketname`.
    """
    return pulumi.get(self, "arn")