macro_explicit_generic_args.swift

// REQUIRES: swift_swift_parser

// RUN: %target-typecheck-verify-swift -swift-version 5

protocolP{
associatedtypeA
}

@freestanding(expression)
macro resolve<T, U:P>(_ first:U.A, _ second:U)->T= #externalMacro(module:"A", type:"B")
// expected-warning@-1{{external macro implementation type 'A.B' could not be found}}
// expected-note@-2{{'resolve' declared here}}

protocolQ{}

structX:P{
typealiasA=Int
}

func test(i:Int){
 _ = #resolve<anyQ, X>(i,X())
 // expected-error@-1{{external macro implementation type 'A.B' could not be found for macro 'resolve'; plugin for module 'A' not found}}
}