{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"//"}]}
        // Determine the constraints from the promoted MIR by running the type
    fn check_promoted(&mut self, promoted_body: &'a Body<'tcx>, location: Location) {
        // checker on the promoted MIR, then transfer the constraints back to