crates/hir_ty/src/chalk_ext.rs


1
2
3
4
5
6
7
8
9
10
11
12
13

//! Various extensions traits for Chalk types.

use crate::{Interner, Ty, TyKind};

pub trait TyExt {
    fn is_unit(&self) -> bool;
}

impl TyExt for Ty {
    fn is_unit(&self) -> bool {
        matches!(self.kind(&Interner), TyKind::Tuple(0, _))
    }
}