// RUN: %target-swift-frontend -typecheck -verify -swift-version 4 %s

protocol P {}

struct Foo {
  mutating func boom() {}
}

let x = Foo.boom // expected-warning{{partial application of 'mutating' method}}
var y = Foo()
let z0 = y.boom // expected-error{{partial application of 'mutating' method}}
let z1 = Foo.boom(&y) // expected-error{{partial application of 'mutating' method}}

func fromLocalContext() -> (inout Foo) -> () -> () {
  return Foo.boom // expected-warning{{partial application of 'mutating' method}}
}
func fromLocalContext2(x: inout Foo, y: Bool) -> () -> () {
  if y {
    return x.boom // expected-error{{partial application of 'mutating' method}}
  } else {
    return Foo.boom(&x) // expected-error{{partial application of 'mutating' method}}
  }
}

func bar() -> P.Type { fatalError() }
func bar() -> Foo.Type { fatalError() }

_ = bar().boom       // expected-warning{{partial application of 'mutating' method}}
_ = bar().boom(&y)   // expected-error{{partial application of 'mutating' method}}
_ = bar().boom(&y)() // ok

func foo(_ foo: Foo.Type) {
  _ = foo.boom       // expected-warning{{partial application of 'mutating' method}}
  _ = foo.boom(&y)   // expected-error{{partial application of 'mutating' method}}
  _ = foo.boom(&y)() // ok
}