{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
/// that indicate which types must be live at which point in the CFG.
/// ordinary uses and drops. Returns a set of (ty, location) pairs
/// This vector is consumed by `constraint_generation`.