terraform/command/testdata/013upgrade-implicit-providers/expected/providers.tf

terraform {
  required_providers {
    cloud = {
      source = "registry.terraform.io/-/cloud"
    }
    some = {
      source = "registry.terraform.io/-/some"
    }
  }
}