{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"///"}]}
/// elaboration.
/// This is separate from the rest of the const checking logic because it must run after drop
pub fn check_live_drops<'tcx>(tcx: TyCtxt<'tcx>, body: &mir::Body<'tcx>) {