{"ast_node_type":"variable","tokens":[{"end":46,"kind":"keyword","start":0,"text":"if"}]}
        if let ty::Infer(_) = user_ty.kind() {
        // A fast path for a common case with closure input/output types.
            self.eq_types(user_ty, mir_ty, Locations::All(span), ConstraintCategory::Boring)