syntax_data: {"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"#[derive_where(Clone;"}]}
source_snippet: #[derive_where(Clone; I: Interner, Goal<I, P>: Clone)]
context_after: #[derive_where(Copy; I: Interner, Goal<I, P>: Copy)]