// {"kind":"typecheck","signature":"swift::constraints::Solution::getFixedType(swift::TypeVariableType*) const","signatureAssert":"Assertion failed: (knownBinding != typeBindings.end()), function getFixedType"}
// RUN: not %target-swift-frontend -typecheck %s
class a {
  static
b {
  return c ?? {
    return c
  }
}
c
