if (type.Type != null && type.Type.Kind == MemberKind.Void)
report.Error (547, GetLocation ($3), "`{0}': property or indexer cannot have void type", property.GetSignatureForError ());
+ if (doc_support)
+ property.DocComment = ConsumeStoredComment ();
+
current_type.AddMember (property);
current_local_parameters = null;
--- /dev/null
+// Compiler options: -doc:xml-072.xml
+
+class X
+{
+ /// <summary>
+ /// Top-class
+ /// </summary>
+ public sealed class C
+ {
+ public string Severity => "foo";
+
+ /// <summary>
+ /// foo
+ /// </summary>
+ public static void Main() {}
+ }
+}
\ No newline at end of file