fn external_generic_args<'tcx>(
    cx: &mut DocContext<'tcx>,
    did: DefId,
    has_self: bool,
    bindings: ThinVec<TypeBinding>,
    ty_args: Binder<'tcx, GenericArgsRef<'tcx>>
) -> GenericArgs