v1.4.7/internal/configs/testdata/config-diagnostics/incorrect-type/mod/main.tf

terraform {
  required_providers {
    foo = {
      source = "example.com/vendor/foo"
    }
  }
}

resource "foo_resource" "a" {
}

// implied default provider baz
resource "baz_resource" "a" {
}