רוסית ⇄ אנגלית

проходить проверку согласования типов מתח
.תִכנו	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)