1 // This code must be compilable without any warning
2 // Compiler options: -warnaserror -warn:4
3 
4 class X
5 {
6 	public string ASTNodeTypeName
7 	{
8 		get
9 		{
10 			return typeof(int).FullName;;
11 		}
12 	}
13 }
14 
15 class Demo {
Main()16 	public static void Main ()
17 	{
18 	}
19 }
20