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