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