{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"//"}]}
            // We don't care about overflow. If proving the trait goal overflowed, then
        let Some(proven_via) = proven_via else {
            // it's enough to report an overflow error for that, we don't also have to