Direito Constitucional — orações subordinadas adjetivas: restritivas, explicativas

Suponha que o STF, em ação direta de inconstitucionalidade (ADI), tenha julgado a lei X inconstitucional. Nesse caso, seria correto afirmar que a lei X