{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"///"}]}
/// and the `result` when using the given `source`.
/// It consists of both the `source`, which describes how that goal would be proven,
#[derive_where(Clone, Debug; I: Interner)]