swift-swiftlang-swift-add-to-typecheck-comment-7

A painting is a person's account of this edit as text, recorded independently of the node mapping - a rendering often has several equally defensible answers where the mapping has one. Deletions and insertions carry no position on the opposite side in a painting, so that panel draws no caret for them.

Before1// {"kind":"typecheck","signature":"swift::TypeBase::getContextSubstitutions(swift::DeclContext const*, swift::GenericEnvironment*)","signatureAssert":"Assertion failed: (!baseTy->is<LValueType>() && !baseTy->is<AnyMetatypeType>() && !baseTy->is<ErrorType>()), function getContextSubstitutions"}
2// RUN: not --crash %target-swift-frontend -typecheck %s
3@propertyWrapper struct a < b { wrappedValue : c var projectedValue init(projectedValue d) func e(@a & f g : b
4

After1// {"kind":"typecheck","signature":"swift::TypeBase::getContextSubstitutions(swift::DeclContext const*, swift::GenericEnvironment*)","signatureAssert":"Assertion failed: (!baseTy->is<LValueType>() && !baseTy->is<AnyMetatypeType>() && !baseTy->is<ErrorType>()), function getContextSubstitutions","signatureNext":"TypeBase::getContextSubstitutionMap"}
2// RUN: not --crash %target-swift-frontend -typecheck %s
3@propertyWrapper struct a < b { wrappedValue : c var projectedValue init(projectedValue d) func e(@a & f g : b
4

Before1// {"kind":"typecheck","signature":"swift::TypeBase::getContextSubstitutions(swift::DeclContext const*, swift::GenericEnvironment*)","signatureAssert":"Assertion failed: (!baseTy->is<LValueType>() && !baseTy->is<AnyMetatypeType>() && !baseTy->is<ErrorType>()), function getContextSubstitutions"}
2// RUN: not --crash %target-swift-frontend -typecheck %s
3@propertyWrapper struct a < b { wrappedValue : c var projectedValue init(projectedValue d) func e(@a & f g : b
4

After1// {"kind":"typecheck","signature":"swift::TypeBase::getContextSubstitutions(swift::DeclContext const*, swift::GenericEnvironment*)","signatureAssert":"Assertion failed: (!baseTy->is<LValueType>() && !baseTy->is<AnyMetatypeType>() && !baseTy->is<ErrorType>()), function getContextSubstitutions","signatureNext":"TypeBase::getContextSubstitutionMap"}
2// RUN: not --crash %target-swift-frontend -typecheck %s
3@propertyWrapper struct a < b { wrappedValue : c var projectedValue init(projectedValue d) func e(@a & f g : b
4

Before

source_file

comment "// {\"kind\":\"typecheck\",\"signature\":\"swift::TypeBase::getCont"...

comment "// RUN: not --crash %target-swift-frontend -typecheck %s"

ERROR (+37 nodes collapsed)

prefix_expression

& "&"

simple_identifier "f"

ERROR

ERROR "g"

: ":"

ERROR "b"

After