blob: 96efe38af27fa9257877e43d057dd67218664b3d [file] [log] [blame]
== foo ==
fun foo(s: String) {
s.
}
---------------------
<v0>: String NEW: magic[FAKE_INITIALIZER](s: String) -> <v0>
s <v1>: * NEW: r(s) -> <v1>
s. <v2>: * NEW: magic[UNSUPPORTED_ELEMENT](s.|<v1>) -> <v2>
{ s. } <v2>: * COPY
=====================