{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"ocx.eq(&ObligationCause::dummy(),"}]}
                    ocx.eq(&ObligationCause::dummy(), self.param_env, diverging_ty, fallback)
                        .expect("expected diverging var to be unconstrained");