I am using an eks API that takes an

aws.Region

parameter, but

aws.RegionResult.name

doesn't have the right type. Is this a bug in the typings? The API:

export declare function getRoleProvider(name: string, region?: aws.Region, profile?: string, parent?: pulumi.ComponentResource): CreationRoleProvider;

getRegion:

export declare function getRegion(args?: GetRegionArgs, opts?: pulumi.InvokeOptions): Promise<GetRegionResult> & GetRegionResult;
export interface GetRegionResult {
    /**
     * The region's description in this format: "Location (Region name)".
     */
    readonly description: string;
    /**
     * The EC2 endpoint for the selected region.
     */
    readonly endpoint: string;
    /**
     * The name of the selected region.
     */
    readonly name: string;
    /**
     * id is the provider-assigned unique ID for this managed resource.
     */
    readonly id: string;
}