то есть грубо говоря, если у тебя в объекте есть метод IsVectorNowImmutable() и ты переносишь на тип знания о том, что этот метод всегда вернёт true, это одно, а если такого нет - совсем другое (ты не можешь в рантайме восстановить эту информацию, так что не можешь её стереть)