#3545: Properties must have a getter for covariant returns to be applicable.

siegfriedpammer · siegfriedpammer · commit 48ff85178dde · 2025-08-29T23:07:59.000+02:00
diff --git a/ICSharpCode.Decompiler/CSharp/CSharpDecompiler.cs b/ICSharpCode.Decompiler/CSharp/CSharpDecompiler.cs
@@ -2126,7 +2126,7 @@ EntityDeclaration DoDecompile(IProperty property, DecompileRun decompileRun, ITy
 				{
 					SetNewModifier(propertyDecl);
 				}
-				if (IsCovariantReturnOverride(property.Getter))
+				if (property.CanGet && IsCovariantReturnOverride(property.Getter))
 				{
 					RemoveAttribute(getter, KnownAttribute.PreserveBaseOverrides);
 					propertyDecl.Modifiers &= ~(Modifiers.New | Modifiers.Virtual);

Original file line number	Diff line number	Diff line change
`@@ -2126,7 +2126,7 @@ EntityDeclaration DoDecompile(IProperty property, DecompileRun decompileRun, ITy`
`2126`	`2126`	`{`
`2127`	`2127`	`SetNewModifier(propertyDecl);`
`2128`	`2128`	`}`
`2129`		`- if (IsCovariantReturnOverride(property.Getter))`
	`2129`	`+ if (property.CanGet && IsCovariantReturnOverride(property.Getter))`
`2130`	`2130`	`{`
`2131`	`2131`	`RemoveAttribute(getter, KnownAttribute.PreserveBaseOverrides);`
`2132`	`2132`	`propertyDecl.Modifiers &= ~(Modifiers.New \| Modifiers.Virtual);`