// RUN: %target-swift-frontend -emit-ir -verify %s %S/Inputs/external-protocol-conformance/A.swift

func generic<T: P>(value: T) {}

// The goal here is to verify that a dependency on an invalid associated
// type in a protocol conformance in another file will prevent code
// generation.
func useGeneric() {
  generic(value: A())
}