{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":".then(||"}]}
                .then(|| tcx.type_of(trait_item_def_id).instantiate(tcx, args))
            tcx.check_args_compatible(trait_item_def_id, args)
        } else {