digraph region_constraints {
    node_12[label="\'_#10r"];
    node_0[label="ReScope(CodeExtent(7/CallSiteScope { fn_id: 15, body_id: 32 }))"];
    node_9[label="\'_#5r"];
    node_11[label="\'_#1r"];
    node_10[label="ReScope(CodeExtent(16/Misc(36)))"];
    node_26[label="ReScope(CodeExtent(15/Misc(35)))"];
    node_19[label="\'_#9r"];
    node_23[label="ReScope(CodeExtent(11/Misc(32)))"];
    node_5[label="\'_#4r"];
    node_2[label="ReFree(CodeExtent(7/CallSiteScope { fn_id: 15, body_id: 32 }), BrNamed(DefId { krate: 0, node: DefIndex(12) => silly::\'z }, \'z(78)))"];
    node_16[label="ReScope(CodeExtent(19/Misc(39)))"];
    node_1[label="\'_#0r"];
    node_18[label="ReFree(CodeExtent(7/CallSiteScope { fn_id: 15, body_id: 32 }), BrNamed(DefId { krate: 0, node: DefIndex(11) => silly::\'y }, \'y(76)))"];
    node_25[label="ReScope(CodeExtent(14/Misc(33)))"];
    node_13[label="\'_#8r"];
    node_22[label="ReScope(CodeExtent(10/DestructionScope(32)))"];
    node_4[label="\'_#7r"];
    node_3[label="ReScope(CodeExtent(18/Misc(38)))"];
    node_17[label="\'_#3r"];
    node_20[label="ReScope(CodeExtent(1/Misc(4294967295)))"];
    node_24[label="ReScope(CodeExtent(13/DestructionScope(33)))"];
    node_14[label="\'_#11r"];
    node_7[label="\'_#6r"];
    node_8[label="ReScope(CodeExtent(17/Misc(37)))"];
    node_6[label="\'_#2r"];
    node_15[label="ReScope(CodeExtent(12/Remainder(BlockRemainder { block: 32, first_statement_index: 0 })))"];
    node_21[label="ReScope(CodeExtent(8/ParameterScope { fn_id: 15, body_id: 32 }))"];
    node_0 -> node_1[label="CallReturn(issue-30438-d.rs:9:1: 12:2)"];
    node_1 -> node_2[label="Subtype(TypeTrace(RelateOutputImplTypes(issue-30438-d.rs:9:85: 12:2)))"];
    node_3 -> node_4[label="AddrOf(issue-30438-d.rs:11:5: 11:7)"];
    node_5 -> node_6[label="Subtype(TypeTrace(RelateOutputImplTypes(issue-30438-d.rs:10:23: 10:41)))"];
    node_6 -> node_5[label="Subtype(TypeTrace(RelateOutputImplTypes(issue-30438-d.rs:10:23: 10:41)))"];
    node_1 -> node_7[label="Subtype(TypeTrace(ExprAssignable(issue-30438-d.rs:11:5: 11:7)))"];
    node_8 -> node_9[label="AutoBorrow(issue-30438-d.rs:10:23: 10:41)"];
    node_4 -> node_7[label="DataBorrowed(Test<\'_#6r>, issue-30438-d.rs:11:5: 11:7)"];
    node_10 -> node_11[label="ExprTypeIsNotInScope(Test<\'_#1r>, issue-30438-d.rs:10:13: 10:43)"];
    node_12 -> node_13[label="Subtype(TypeTrace(RelateOutputImplTypes(issue-30438-d.rs:11:5: 11:7)))"];
    node_13 -> node_12[label="Subtype(TypeTrace(RelateOutputImplTypes(issue-30438-d.rs:11:5: 11:7)))"];
    node_14 -> node_7[label="DataBorrowed(Test<\'_#6r>, issue-30438-d.rs:11:5: 11:7)"];
    node_15 -> node_7[label="BindingTypeIsNotValidAtDecl(issue-30438-d.rs:10:9: 10:10)"];
    node_3 -> node_14[label="AutoBorrow(issue-30438-d.rs:11:5: 11:7)"];
    node_11 -> node_9[label="Subtype(TypeTrace(ExprAssignable(issue-30438-d.rs:10:23: 10:41)))"];
    node_2 -> node_1[label="Subtype(TypeTrace(RelateOutputImplTypes(issue-30438-d.rs:9:85: 12:2)))"];
    node_7 -> node_11[label="Subtype(TypeTrace(ExprAssignable(issue-30438-d.rs:10:13: 10:43)))"];
    node_16 -> node_7[label="ExprTypeIsNotInScope(Test<\'_#6r>, issue-30438-d.rs:11:6: 11:7)"];
    node_3 -> node_7[label="AddrOf(issue-30438-d.rs:11:5: 11:7)"];
    node_17 -> node_11[label="Subtype(TypeTrace(RelateOutputImplTypes(issue-30438-d.rs:10:23: 10:41)))"];
    node_11 -> node_17[label="Subtype(TypeTrace(RelateOutputImplTypes(issue-30438-d.rs:10:23: 10:41)))"];
    node_14 -> node_4[label="Reborrow(issue-30438-d.rs:11:5: 11:7)"];
    node_18 -> node_14[label="Subtype(TypeTrace(ExprAssignable(issue-30438-d.rs:11:5: 11:7)))"];
    node_19 -> node_18[label="Subtype(TypeTrace(RelateOutputImplTypes(issue-30438-d.rs:11:5: 11:7)))"];
    node_18 -> node_19[label="Subtype(TypeTrace(RelateOutputImplTypes(issue-30438-d.rs:11:5: 11:7)))"];
    node_20 -> node_20[label="(enclosed)"];
    node_21 -> node_0[label="(enclosed)"];
    node_22 -> node_21[label="(enclosed)"];
    node_23 -> node_22[label="(enclosed)"];
    node_15 -> node_23[label="(enclosed)"];
    node_24 -> node_15[label="(enclosed)"];
    node_25 -> node_24[label="(enclosed)"];
    node_26 -> node_25[label="(enclosed)"];
    node_10 -> node_25[label="(enclosed)"];
    node_8 -> node_10[label="(enclosed)"];
    node_3 -> node_15[label="(enclosed)"];
    node_16 -> node_3[label="(enclosed)"];
}