{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"hir_def::layout::IntegerType::Pointer(is_signed)"}]}
                    hir_def::layout::IntegerType::Pointer(is_signed) => match is_signed {
                return chalk_ir::TyKind::Scalar(match ty {
                        true => chalk_ir::Scalar::Int(chalk_ir::IntTy::Isize),