{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"is_ty_uninhabited_from(self.db,"}]}
        is_ty_uninhabited_from(self.db, ty, self.module, self.env.clone())
    fn is_uninhabited(&self, ty: &Ty) -> bool {
    }