// {"signature":"(anonymous namespace)::ConstraintWalker::walkToExprPost(swift::Expr*)"}
// RUN: not %target-swift-frontend -typecheck %s
\.+=