{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"//"}]}
        // We need all statements in the body where the binding was assigned to later find all
    ) -> Diag<'infcx> {
        // the branching code paths where the binding *wasn't* assigned to.