TypeScript dependent types and function bivariance

What does "now" mean here? The sample code works fine on 3.3 (the earliest version I could select on the playground, I'm sure it works on earlier versions too), released in January 2019.