{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"}"}]}
        } else {
                .then(|| tcx.type_of(trait_item_def_id).instantiate(tcx, args))
            Some(fcx.next_ty_var(span))