{"ast_node_type":"struct","tokens":[{"end":95,"kind":"keyword","start":0,"text":"///"}]}
/// This struct holds the data needed to create the Polonius localized constraints. Its data is
/// transferred and converted from the [PoloniusLivenessContext] at the end of MIR typeck.