swift-swiftlang-swift-constraint-comment

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","original":"c9d8f598","signature":"getPropertyWrapperTypeFromOverload(swift::constraints::ConstraintSystem&, swift::constraints::SelectedOverload, llvm::function_ref<swift::VarDecl* (swift::VarDecl*)>)","signatureAssert":"Assertion failed: (!cs.hasType(D) && \"Should have recorded type for wrapper var\"), function getPropertyWrapperTypeFromOverload"}
2// RUN: not --crash %target-swift-frontend -typecheck %s
3@propertyWrapper struct a {
4  wrappedValue : Bool  init(wrappedValue: Bool)
5  var projectedValue
6  init(projectedValue: Bool)
7  func b(@a c: Bool) {
…lines 8–11 unchanged (4 lines)

After1// {"kind":"typecheck","original":"c9d8f598","signature":"getPropertyWrapperTypeFromOverload(swift::constraints::ConstraintSystem&, swift::constraints::SelectedOverload, llvm::function_ref<swift::VarDecl* (swift::VarDecl*)>)","signatureAssert":"Assertion failed: (!cs.hasType(D) && \"Should have recorded type for wrapper var\"), function getPropertyWrapperTypeFromOverload","signatureNext":"ConstraintSystem::getPropertyWrapperProjectionType"}
2// RUN: not --crash %target-swift-frontend -typecheck %s
3@propertyWrapper struct a {
4  wrappedValue : Bool  init(wrappedValue: Bool)
5  var projectedValue
6  init(projectedValue: Bool)
7  func b(@a c: Bool) {
…lines 8–11 unchanged (4 lines)

Before1// {"kind":"typecheck","original":"c9d8f598","signature":"getPropertyWrapperTypeFromOverload(swift::constraints::ConstraintSystem&, swift::constraints::SelectedOverload, llvm::function_ref<swift::VarDecl* (swift::VarDecl*)>)","signatureAssert":"Assertion failed: (!cs.hasType(D) && \"Should have recorded type for wrapper var\"), function getPropertyWrapperTypeFromOverload"}
2// RUN: not --crash %target-swift-frontend -typecheck %s
3@propertyWrapper struct a {
4  wrappedValue : Bool  init(wrappedValue: Bool)
5  var projectedValue
6  init(projectedValue: Bool)
7  func b(@a c: Bool) {
…lines 8–11 unchanged (4 lines)

After1// {"kind":"typecheck","original":"c9d8f598","signature":"getPropertyWrapperTypeFromOverload(swift::constraints::ConstraintSystem&, swift::constraints::SelectedOverload, llvm::function_ref<swift::VarDecl* (swift::VarDecl*)>)","signatureAssert":"Assertion failed: (!cs.hasType(D) && \"Should have recorded type for wrapper var\"), function getPropertyWrapperTypeFromOverload","signatureNext":"ConstraintSystem::getPropertyWrapperProjectionType"}
2// RUN: not --crash %target-swift-frontend -typecheck %s
3@propertyWrapper struct a {
4  wrappedValue : Bool  init(wrappedValue: Bool)
5  var projectedValue
6  init(projectedValue: Bool)
7  func b(@a c: Bool) {
…lines 8–11 unchanged (4 lines)

Before

source_file

comment "// {\"kind\":\"typecheck\",\"original\":\"c9d8f598\",\"signature\":\"ge"...

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

class_declaration

modifiers

attribute

@ "@"

user_type

type_identifier "propertyWrapper"

struct "struct"

type_identifier "a"

class_body

{ "{"

} ""

call_expression

simple_identifier "wrappedValue"

ERROR

: ":"

ERROR "Bool"

in "in"

ERROR "it"

call_suffix

value_arguments

( "("

value_argument

value_argument_label

simple_identifier "wrappedValue"

: ":"

simple_identifier "Bool"

) ")"

property_declaration

value_binding_pattern

var "var"

pattern

simple_identifier "projectedValue"

init_declaration

init "init"

( "("

parameter

simple_identifier "projectedValue"

: ":"

user_type

type_identifier "Bool"

) ")"

function_declaration (+22 nodes collapsed)

ERROR

} "}"

After

source_file

comment "// {\"kind\":\"typecheck\",\"original\":\"c9d8f598\",\"signature\":\"ge"...

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

class_declaration

modifiers

attribute

@ "@"

user_type

type_identifier "propertyWrapper"

struct "struct"

type_identifier "a"

class_body

{ "{"

} ""

call_expression

simple_identifier "wrappedValue"

ERROR

: ":"

ERROR "Bool"

in "in"

ERROR "it"

call_suffix

value_arguments

( "("

value_argument

value_argument_label

simple_identifier "wrappedValue"

: ":"

simple_identifier "Bool"

) ")"

property_declaration

value_binding_pattern

var "var"

pattern

simple_identifier "projectedValue"

init_declaration

init "init"

( "("

parameter

simple_identifier "projectedValue"

: ":"

user_type

type_identifier "Bool"

) ")"

function_declaration (+22 nodes collapsed)

ERROR

} "}"

Keybindings

j / k: next / previous visible node (tree panels)
h / l: collapse / expand the focused node
g / G: jump to first / last visible node
Tab: switch focus between Before/After panels
/: search: jump to next node whose text contains a given string
a: jump the other panel to this node's mapped counterpart
i: hide identical matches, showing only inserted/deleted/updated nodes and their ancestors
v: cycle the view: split / code only / tree only
p: cycle what the code view renders: the node mapping, then each human painting
r: mark this fixture as reviewed, or forget the mark (kept in this browser only)
n: open a random fixture not yet marked as reviewed
?: toggle this help