v1.12.2/internal/configs/testdata/config-diagnostics/tests-provider-mismatch-with-module/main.tf

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

provider "bar" {}

resource "foo_resource" "resource" {}

resource "bar_resource" "resource" {}