swift-swiftlang-swift-add-to-typecheck-comment-2

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":"matchCallArguments(swift::constraints::ConstraintSystem&, swift::FunctionType*, swift::ArgumentList*, llvm::ArrayRef<swift::AnyFunctionType::Param>, llvm::ArrayRef<swift::AnyFunctionType::Param>, swift::constraints::ConstraintKind, swift::constraints::ConstraintLocatorBuilder, std::__1::optional<swift::constraints::TrailingClosureMatching>, llvm::SmallVectorImpl<std::__1::pair<swift::TypeVariableType*, swift::ExistentialArchetypeType*>>&)","signatureAssert":"Assertion failed: (Index < Length && \"Invalid index!\"), function operator[]"}
2// RUN: not --crash %target-swift-frontend -typecheck %s
3func a< b, c >(b, d : KeyPath< b, c >b ) a ((e, at: f\g
4

After1// {"kind":"typecheck","signature":"matchCallArguments(swift::constraints::ConstraintSystem&, swift::FunctionType*, swift::ArgumentList*, llvm::ArrayRef<swift::AnyFunctionType::Param>, llvm::ArrayRef<swift::AnyFunctionType::Param>, swift::constraints::ConstraintKind, swift::constraints::ConstraintLocatorBuilder, std::__1::optional<swift::constraints::TrailingClosureMatching>, llvm::SmallVectorImpl<std::__1::pair<swift::TypeVariableType*, swift::ExistentialArchetypeType*>>&)","signatureAssert":"Assertion failed: (Index < Length && \"Invalid index!\"), function operator[]","signatureNext":"ConstraintSystem::simplifyApplicableFnConstraint"}
2// RUN: not --crash %target-swift-frontend -typecheck %s
3func a< b, c >(b, d : KeyPath< b, c >b ) a ((e, at: f\g
4

Before1// {"kind":"typecheck","signature":"matchCallArguments(swift::constraints::ConstraintSystem&, swift::FunctionType*, swift::ArgumentList*, llvm::ArrayRef<swift::AnyFunctionType::Param>, llvm::ArrayRef<swift::AnyFunctionType::Param>, swift::constraints::ConstraintKind, swift::constraints::ConstraintLocatorBuilder, std::__1::optional<swift::constraints::TrailingClosureMatching>, llvm::SmallVectorImpl<std::__1::pair<swift::TypeVariableType*, swift::ExistentialArchetypeType*>>&)","signatureAssert":"Assertion failed: (Index < Length && \"Invalid index!\"), function operator[]"}
2// RUN: not --crash %target-swift-frontend -typecheck %s
3func a< b, c >(b, d : KeyPath< b, c >b ) a ((e, at: f\g
4

After1// {"kind":"typecheck","signature":"matchCallArguments(swift::constraints::ConstraintSystem&, swift::FunctionType*, swift::ArgumentList*, llvm::ArrayRef<swift::AnyFunctionType::Param>, llvm::ArrayRef<swift::AnyFunctionType::Param>, swift::constraints::ConstraintKind, swift::constraints::ConstraintLocatorBuilder, std::__1::optional<swift::constraints::TrailingClosureMatching>, llvm::SmallVectorImpl<std::__1::pair<swift::TypeVariableType*, swift::ExistentialArchetypeType*>>&)","signatureAssert":"Assertion failed: (Index < Length && \"Invalid index!\"), function operator[]","signatureNext":"ConstraintSystem::simplifyApplicableFnConstraint"}
2// RUN: not --crash %target-swift-frontend -typecheck %s
3func a< b, c >(b, d : KeyPath< b, c >b ) a ((e, at: f\g
4

Before

source_file

comment "// {\"kind\":\"typecheck\",\"signature\":\"matchCallArguments(swift"...

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

ERROR (+42 nodes collapsed)

key_path_expression

\ "\\"

type_identifier "g"

After