// {"signature":"swift::constraints::ConjunctionStep::SolverSnapshot::~SolverSnapshot()"}
// RUN: not --crash %target-swift-frontend -typecheck %s
// REQUIRES: OS=macosx
import Foundation{let a = malloc(b.c <d>