| == foo == |
| val foo: Int by throw NullPointerException() |
| --------------------- |
| L0: |
| 1 <START> |
| v(val foo: Int by throw NullPointerException()) |
| magic[UNRECOGNIZED_WRITE_RHS](val foo: Int by throw NullPointerException()) -> <v0> |
| w(foo|<v0>) |
| mark(throw NullPointerException()) |
| mark(NullPointerException()) |
| call(NullPointerException(), <init>) -> <v1> |
| throw (throw NullPointerException()|<v1>) NEXT:[<ERROR>] |
| L1: |
| <END> NEXT:[<SINK>] PREV:[] |
| error: |
| <ERROR> PREV:[throw (throw NullPointerException()|<v1>)] |
| sink: |
| <SINK> PREV:[<ERROR>, <END>] |
| ===================== |
