{"ast_node_type":"function","tokens":[{"end":80,"kind":"keyword","start":0,"text":"pub(crate)"}]}
    pub(crate) fn add_wf_bounds(&self, args: GenericArgsRef<'tcx>, span: Span) {
    /// Registers obligations that all `args` are well-formed.
        for term in args.iter().filter_map(ty::GenericArg::as_term) {