SQL Server 2019执行无法到达的代码

[更新：此问题描述了SQL Server 2019累积更新5中修复的错误。]

考虑以下再现示例（小提琴）：

CREATE FUNCTION dbo.Repro (@myYear int)
RETURNS datetime
AS
BEGIN
    IF @myYear <> 1990
    BEGIN
        RETURN NULL
    END

    DECLARE @firstOfYear datetime;
    SET @firstOfYear = DATEFROMPARTS(@myYear, 1, 1);
    
    IF DATEDIFF(day, @firstOfYear, @firstOfYear) <> 0
    BEGIN
        RETURN NULL
    END

    RETURN @firstOfYear
END
SELECT dbo.Repro(0);

如果输入是1990，则该函数应返回1990年1月的第一天，否则返回NULL。是的，我知道DATEDIFF(day, @firstOfYear, @firstOfYear) <> 0是无意义的操作。这是一个演示潜在错误而不是生产代码的方法。
现在让我们在SQL Server 2017和SQL Server 2019上执行SELECT dbo.Repro(0)。 ：NULL
在SQL Server 2019上的实际结果：

消息289级16状态1行1

显然，SQL Server 2019执行初始防护子句（NULL）下的某些代码，即使它不应该执行。
我的问题：

这是预期的行为，还是在SQL Server 2019中发现了错误？
如果这是预期的行为，如何正确编写保护输入参数的保护子句？