Function declaration_predicate 

pub(crate) fn declaration_predicate(declaration: &EntityDeclaration) -> Expr

The row-level guard a declaration carries: every identity component present, and the superseding type’s identity not complete. Every branch that turns a declaration into rows applies this, so the guard cannot drift between them.