{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":".map(|impl_def|"}]}
                .map(|impl_def| impl_def.skip_binder())
                .impl_trait_ref(obligation.impl_or_alias_def_id)
                // It is possible that this is absent. In this case, we make no progress.