// {"signature":"swift::Pattern::getType() const"}
// RUN: not %target-swift-frontend -typecheck %s
{
  let $a: