Optionally remove backing field from "pure" properties about mradvice HOT 4 CLOSED

Getter and setter have a [CompilerGeneratedAttribute]. The only thing to do is to find the attribute, then analyze the body code to find the backing field, then remove backing field and do not emit any method.
The advice marker could be a special priority level (such as -1?)

from mradvice.

Getter

Generated code with Roslyn:

IL_0000: ldarg.0
IL_0001: ldfld bool MethodLevelTest.AdvisedClass::'<UnadvisedAutoProperty>k__BackingField'
IL_0006: ret

With legacy C# compiler:

IL_0000: ldarg.0
IL_0001: ldfld bool MethodLevelTest.AdvisedClass::'<UnadvisedAutoProperty>k__BackingField'
IL_0006: stloc.0
IL_0007: br.s IL_0009
IL_0009: ldloc.0
IL_000a: ret

Setter

Same thing for both compilers:

IL_0000: ldarg.0
IL_0001: ldarg.1
IL_0002: stfld bool MethodLevelTest.AdvisedClass::'<UnadvisedAutoProperty>k__BackingField'
IL_0007: ret

from mradvice.

It's probably better to use another marker than [Priority], which is not explicit enough. Something like [AbstractTarget] which means the original body and references can be removed (this may also work for methods).

from mradvice.

Done (v0.10). However, with C#6 property initializers, there is an incompatibility: since backing storage is removed, initialization from ctor() is then ignored.

from mradvice.