# Copyright 2016-2024, Pulumi Corporation. All rights reserved.
"""An example program that type checks with mypy"""
import pulumi
# This export won't work because the first argument is a number, not a string
pulumi.export(42, 'bar')