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