В VS2017 сборка не дает сбой, даже когда есть ошибки времени компиляции

Question

Я использую проект ssdt (версия VS2017 - 15.1, версия SSDT - 15.1.61702.140). У меня есть сохраненный процесс с ошибкой во время компиляции, но при сборке сборка завершается успешно.

Существуют ли какие-либо параметры проекта / проекта, которые могут вызывать такое поведение? Разве это не страшно?

Таблица продуктов:

CREATE TABLE [dbo].[Product]
(
    [Id] INT NOT NULL PRIMARY KEY, 
    [Name] VARCHAR(50) NULL
)

Сохраненный процесс:

CREATE PROCEDURE [dbo].[uspProductSelect]
    @name VARCHAR(50) = ''
AS
    SELECT * FROM Product as p where p.Name = @name;

    use Database1_3; -- this causes compile time issue;

и Visual Studio говорит мне, что есть проблема в окне ошибки:

SQL80001: a USE database statement is not allowed in a procedure, function or trigger.

Но если я строю проект, он успешно завершается! Это не может быть правильным поведением.