[Record, StructuralEquality, StructuralHashCode]
public sealed class FooBar
{
  public X : int { get }
  public Y : int { get }
}

H>[Record, StructuralEquality, StructuralHashCode]
H>public sealed class FooBar
H>{
H>  public X : int { get }
H>  public Y : int { get }
H>}
H>

data FooBar(X : int, Y : int);

data FooBar { X : int, Y : int };

[MacroUsage(MacroPhase.WithTypedMembers, MacroTargets.Method)]
macro RewriteType3(typeBuilder : TypeBuilder, method : MethodBuilder) {
    RewriteTyp3Impl.DoTransform(Macros.ImplicitCTX(), typeBuilder, method)
}

module RewriteTyp3Impl {
    public DoTransform(typer : Typer, _ : TypeBuilder, method : MethodBuilder) : void {
        Macros.DefineCTX(typer);
        Message.Hint("start typing");
        def tExpr = typer.TypeExpr(method.Body);
        Message.Hint("slow...");
        _ = typer.DelayMacro(fun (lastTry) {
            if(lastTry && tExpr.Type.Hint.IsNone) Message.Hint("type unknown"); 
            else                                  Message.Hint($"$tExpr"); 
            None()
        });
        Message.Hint("end typing");
    }
}

[RewriteType3]
public Test(x: int): IAnonymous {
    def a = new(A = x, B = "string");
    a;
}

...\Nemerle.MSBuild.targets(170,9): warning MSB3088: 
Could not read state file "obj\Debug\ResolveMacroAssemblyReference.cache". 
Exception has been thrown by the target of an invocation.
...\Main.n(29,2): warning : hint: start typing
...\Main.n(31,21): error : unbound name `x'
...\Main.n(31,13): error : wrong number of parameters in call, needed 0, got 2
        confused by earlier errors bailing out

Message.Hint("start typing");
def methodTyper = Typer(typeBuilder, null, method, method.Env);
methodTyper.RunFullTyping();
Message.Hint($"$(method.BodyTyped.Type)");
Message.Hint("end typing");