// {"kind":"typecheck","signature":"swift::constraints::ConjunctionStep::~ConjunctionStep()","signatureAssert":"Assertion failed: (!bool(ActiveChoice)), function ~ConjunctionStep"}
// RUN: not --crash %target-swift-frontend -typecheck %s
// REQUIRES: OS=macosx
import Foundation{let a = malloc(b.c <d>