# 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')