{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"!fcx.predicate_may_hold(&Obligation::new("}]}
            !fcx.predicate_may_hold(&Obligation::new(
        if let Some(sig) = fcx.body_fn_sig() {
                fcx.tcx,