075_shadowing_decl_return_type.xi « error « pracownia2 « tests - compiler_construction - Project for Compiler Construction course

summary refs log tree commit diff

path: root/tests/pracownia2/error/075_shadowing_decl_return_type.xi

blob: 42ebd024b773b14998e08bceb23b3a1719a3f38e (plain) (blame)

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

//@PRACOWNIA
//@should_not_typecheck