digraph block {
    N0[label="entry"];
    N1[label="exit"];
    N2[label="stmt struct S19 {\l    x: isize,\l}\l"];
    N3[label="stmt impl S19 {\l    fn inner(self) -> S19 { S19{x: self.x + self.x,} }\l}\l"];
    N4[label="expr 19"];
    N5[label="expr S19{x: 19,}"];
    N6[label="local s"];
    N7[label="stmt let s = S19{x: 19,};"];
    N8[label="expr s"];
    N9[label="expr s.inner()"];
    N10[label="expr s.inner().inner()"];
    N11[label="stmt s.inner().inner();"];
    N12[label="block {\l    struct S19 {\l        x: isize,\l    }\l    impl S19 {\l        fn inner(self) -> S19 { S19{x: self.x + self.x,} }\l    }\l    let s = S19{x: 19,};\l    s.inner().inner();\l}\l"];
    N0 -> N2;
    N2 -> N3;
    N3 -> N4;
    N4 -> N5;
    N5 -> N6;
    N6 -> N7;
    N7 -> N8;
    N8 -> N9;
    N9 -> N10;
    N10 -> N11;
    N11 -> N12;
    N12 -> N1;
}