v1.5.7/internal/configs/testdata/config-diagnostics/required-alias/mod/main.tf

terraform {
  required_providers {
    foo = {
      source = "hashicorp/foo"
      version = "1.0.0"
      configuration_aliases = [ foo.bar ]
    }
  }
}

resource "foo_resource" "a" {
  provider = foo.bar
}