← all fixtures

swift-swiftlang-swift-update-typecheck-comment

Swift View before/after files on GitHub Upstream commit swiftlang-swift.git@cd7ca39 validation-test/compiler_crashers/ConstantReqCallWalker-walkToExprPre-c3d136.swift
Code view:

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.

Before

1// {"kind":"typecheck","signature":"swift::diagnoseConstantArgumentRequirement(swift::Expr const*, swift::DeclContext const*)::ConstantReqCallWalker::walkToExprPre(swift::Expr*)","signatureAssert":"Assertion failed: (constantIndex < arguments.size() && \"constantIndex exceeds the number of arguments to the function\"), function diagnoseConstantArgumentRequirementOfCall"}
2// RUN: not --crash %target-swift-frontend -typecheck %s
3{
4 @_semantics("oslog.requires_constant_arguments") func a(b) { a(
5

After

1// {"kind":"typecheck","signature":"swift::diagnoseConstantArgumentRequirement(swift::Expr const*, swift::DeclContext const*)::ConstantReqCallWalker::walkToExprPre(swift::Expr*)","signatureAssert":"Assertion failed: (constantIndex < arguments.size() && \"constantIndex exceeds the number of arguments to the function\"), function diagnoseConstantArgumentRequirementOfCall","signatureNext":"Traversal::doIt"}
2// RUN: not --crash %target-swift-frontend -typecheck %s
3{
4 @_semantics("oslog.requires_constant_arguments") func a(b) { a(
5

Before

ERROR
comment "// {\"kind\":\"typecheck\",\"signature\":\"swift::diagnoseConstantA"...
comment "// RUN: not --crash %target-swift-frontend -typecheck %s"
{ "{"
attribute
@ "@"
user_type
type_identifier "_semantics"
( "("
line_string_literal
" "\""
line_str_text "oslog.requires_constant_arguments"
" "\""
) ")"
func "func"
simple_identifier "a"
( "("
ERROR
simple_identifier "b"
) ")"
{ "{"
simple_identifier "a"
ERROR
( "("

After

ERROR
comment "// {\"kind\":\"typecheck\",\"signature\":\"swift::diagnoseConstantA"...
comment "// RUN: not --crash %target-swift-frontend -typecheck %s"
{ "{"
attribute
@ "@"
user_type
type_identifier "_semantics"
( "("
line_string_literal
" "\""
line_str_text "oslog.requires_constant_arguments"
" "\""
) ")"
func "func"
simple_identifier "a"
( "("
ERROR
simple_identifier "b"
) ")"
{ "{"
simple_identifier "a"
ERROR
( "("