Cache Clauses::empty()

This commit is contained in:
Chayim Refael Friedman 2026-01-19 09:58:15 +02:00
parent 7bbe9029fb
commit 29aad0493b

View file

@ -273,9 +273,8 @@ impl<'db> std::fmt::Debug for Clauses<'db> {
impl<'db> Clauses<'db> {
#[inline]
pub fn empty(_interner: DbInterner<'db>) -> Self {
// FIXME: Get from a static.
Self::new_from_slice(&[])
pub fn empty(interner: DbInterner<'db>) -> Self {
interner.default_types().empty.clauses
}
#[inline]