// RUN: %empty-directory(%t)
// RUN: %target-swift-frontend -index-store-path %t/idx -o %t/file.o -typecheck -primary-file %s -verify

protocol MyProto {
  func compile() throws
}

func compile(x: MyProto) throws {
  try x.compile 
  // expected-error@-1 {{expression resolves to an unused function}}
  // expected-warning@-2 {{no calls to throwing functions occur within 'try' expression}}
}