validation-test/IDE/crashers/061-swift-constraints-solution-coercetotype.swift

// RUN: not --crash %target-swift-ide-test -code-completion -code-completion-token=A -source-filename=%s
// REQUIRES: asserts
protocol P{
protocol A{
let t={
protocol c{
let:n
class A{
func c
let s=c
protocol e{
typealias f=#^A^#