pub fn flow_predicate_attribute(attributes: &[Attribute]) -> Option<&Attribute>Expand description
Return the bare @invariant marker that opts a function into Flow
predicate discovery. Parameterized @invariant(...) attributes belong to
handler IR instead.