{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"debug!(\"coerce_from_inference_variable(a={:?},"}]}
        debug!("coerce_from_inference_variable(a={:?}, b={:?})", a, b);
    fn coerce_from_inference_variable(&self, a: Ty<'tcx>, b: Ty<'tcx>) -> CoerceResult<'tcx> {
        debug_assert!(a.is_ty_var() && self.shallow_resolve(a) == a);