// {"signature":"swift::constraints::SolverTrail::~SolverTrail()"}
// RUN: not --crash %target-swift-frontend -typecheck %s
enum a< b { case c(}
         func d< b >(b->a< b >) d(a< e >.c let a