часто говорят о неприятной ASI JavaScript (автоматическая вставка точек с запятой), и часто цитируютэтот пример...

function a() {
    return [
        'a',
        'b',
        'c'
    ];
}

function b() {
    return
    [
        'a',
        'b',
        'c'
    ];
}

console.log(a(), b());
// ["a", "b", "c"] undefined

Действительно ли точка с запятой вставляется послеreturn вb()или в грамматике JavaScript указано, что возвращаемое значение должно быть явно указано после него (т. е. нет\n)?