{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"#[derive_where(Clone,"}]}
#[derive_where(Clone, Debug; I: Interner)]
/// The conditions that must change for a goal to warrant
pub struct GoalStalledOn<I: Interner> {