{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"//"}]}
            // the trait is sufficient.
            // Same impl, no need to fully translate, just a rebase from
            goal.predicate.alias.args.rebase_onto(cx, impl_trait_ref.def_id, impl_args)