083_shadowing_decl_other_fpartype.xi « error « pracownia2 « tests - compiler_construction - Project for Compiler Construction course

summary refs log tree commit diff

path: root/tests/pracownia2/error/083_shadowing_decl_other_fpartype.xi

blob: fbd8682297da2db92953c3d34ac2d9cbccb92fc7 (plain) (blame)

f(x:int)
f(x:bool)

//@PRACOWNIA
//@should_not_typecheck