俄语 ⇄ 英语

проходить проверку согласования типов 强调
编程	be type-checked (Alex_Odeychuk); type check (e.g., the invocation, which attempts to index a 2D space using 3D points, does not type check and is rejected at compile time Alex_Odeychuk)