{"ast_node_type":"function","tokens":[{"end":29,"kind":"keyword","start":0,"text":"pub"}]}
    pub fn discr_ty() -> Ty {
    // FIXME: rustc's ty is dependent on the adt type, maybe we need to do that as well
        TyKind::Scalar(chalk_ir::Scalar::Int(chalk_ir::IntTy::I128)).intern(Interner)