compiler-design-eth/javali_tests/HW3_nop90/DoubleDeclarationsErrors/DoubleParams.javali

// No pair of parameters in a method declaration can have the same name

class Main {
	void main() {}
	int action(int p1, boolean p2, Object p, Object p) {}
}