Для чего IE использует //@ в javascript?

Итак, ошибка в фрагменте javascript вращалась вокруг кода, похожего на:

<script>
    (function() {
        if (true) {
            //@todo: do we need to set total or -- ?
            alert('hello?');
        }
    })();
</script>

В более крупной системе IE жаловался на "Ожидается ';'". В небольшом примере IE просто вызывал предупреждение о блокировке Элементы управления ActiveX.

Очевидно, что "//@" имеет некоторый контекст для элементов управления ActiveX в IE. Я не смог найти это, так как поиск символов был бесполезен, а любой поиск специальных комментариев в IE приводит к условным комментариям html. Мне просто любопытно, как //@ предполагается использовать в IE.