// Copyright 2016-2018, Pulumi Corporation. All rights reserved. import { Resource } from "./resource"; // Attempt to delete the resource; this will fail!