{"ast_node_type":"impl","tokens":[{"end":82,"kind":"keyword","start":0,"text":"///"}]}
    /// Record impl args in the proof tree for later access by `InspectCandidate`.
    pub(crate) fn record_impl_args(&mut self, impl_args: I::GenericArgs) {