Inheriting Attributes from an abstract method

[gajo357]

Please do the checklist before filing an issue:

• I have read the documentation, including the FAQ
• I can reproduce the bug using the latest prerelease version
• I have searched existing discussion and issue to avoid duplicates

Describe the bug
A base abstract generic class declares an abstract method that is supposed to be partial in the derived class.
There are some properties of the generic type that should be ignored when mapping.
I declared them as such, but I still see RMG012.
It seems that override partial does not inherit the attribute.

According to Microsoft documentation the derived method should inherit the attributes.
MS docs

Declaration code

public class Model
{
    public int Id { get; set; }
}
public class ExactModel : Model
{
}
public class ExactTarget
{
}

public abstract class BaseA<TFrom, TTo> 
  where TFrom: Model
{
   [MapperIgnoreSource(nameof(Model.Id))]
    public abstract TTo Map(TFrom from);
}

[Mapper]
public partial class DerivedA : BaseA<ExactModel, ExactTarget>
{
    public override partial ExactTarget Map(ExactModel from);
}

Reported relevant diagnostics

• RMG020: The member Id on the mapping source...

Environment (please complete the following information):

• Mapperly Version: 4.1.1
• Nullable reference types: Enabled
• .NET Version: .NET 6.0.427
• Target Framework: .net6.0
• Compiler Version: [e.g. 4.8.0-3.23524.11 (f43cd10b), obtain with #error version in any .cs file]
• C# Language Version: 11.0
• IDE: Visual Studio v17.13.5
• OS: Win 11

[latonz]

Source generators operate at the syntax or semantic model level, which means they don't automatically recognize inherited attributes. Is what you're trying to achieve a common configuration for a base type?

[gajo357]

Source generators operate at the syntax or semantic model level, which means they don't automatically recognize inherited attributes. Is what you're trying to achieve a common configuration for a base type?

For this yes, since in our scenario there are a number of base properties that have to be mapped manually.
So it is easier to enforce derived mappers to override the mapping of a concrete class than to call that common code all over the place.

The mapper works fine, it's just that these warnings confuse us and can hide an actual missing property.

[latonz]

#513 could help your use case. Other than that there is currently no support for this scenario. I added the enhancement label. Feel free to contribute 😉