関数の返り値の型に予約語などのチェックが行われない

[poppingmoon]

visitNode は 関数型の返り値の部分に対しても呼び出されるべきですが、そのようになっていません

aiscript/src/parser/visit.ts

Lines 211 to 216 in 2f103d2

	case 'fnTypeSource': {
	for (let i = 0; i < result.params.length; i++) {
	result.params[i] = visitNodeInner(result.params[i]!, fn, ancestors) as Ast.FnTypeSource['params'][number];
	}
	break;
	}

そのため、返り値の型を関数にして型引数に未使用の予約語を入れると、その型引数を使ってもエラーが発生しません

例

let x: @() => @<async>() => async = @() {}

Playground