v1.4.7/internal/terraform/testdata/destroy-module-with-provider/mod/main.tf

provider "aws" {
  alias = "foo"
}

// removed module configuration referencing aws.foo, which was passed in by the
// root module