Let's say that a limit diagram $\bar p:K^\triangleleft\to\def\sC{\mathscr{C}}\sC$ is a *weakly contractible* limit if the simplicial set $K$ is weakly contractible (in that $K\to*$ is a weak homotopy equivalence).

I want to say for an $\infty$-category $\sC$ and an object $x\in\sC_0$ that the forgetful functor $\sC_{/x}\to\sC$ creates (i.e., preserves and reflects) weakly contractible limits. Is there a reference that already has this result?

The nLab shows here that the limit of a diagram $p:K\to\sC_{/x}$ coincides with the limit of the corresponding diagram $p/x:K^\triangleright\to\sC$, so this reduces the problem to showing that the inclusion $K\hookrightarrow K^\triangleright$ is an initial map (using the nLab's convention, and thus is dual to the notion of a "cofinal map" in the sense of Lurie's Higher Topos Theory). By Proposition 4.1.1.3(4) of Higher Topos Theory, this is equivalent to showing that $K\hookrightarrow K^\triangleright$ is left anodyne.

So perhaps an equivalent question is: if $K$ is a weakly contractible simplicial set, then is $K\hookrightarrow K^\triangleright$ left anodyne? Is there an easy way to see this?