// CS1910: Argument of type `int[]' is not applicable for the DefaultParameterValue attribute
// Line: 7

using System.Runtime.InteropServices;
using System;

class Test {
	void f ([DefaultParameterValue (new int[0])] object x)
	{
	}
}