Hello, I fixed it:

https://pharo.fogbugz.com/f/cases/16629/fix-after-on-method-with-arguments

You example is now working, I added it as this test:

testReifyMethodArgsAfter
| methodNode link instance|
methodNode := (ReflectivityExamples>>#exampleWithArg:) ast.
link := MetaLink new 
metaObject: self; 
selector: #tagExec:;
control: #after;
arguments: #(arguments).
methodNode link: link.
self assert: methodNode hasMetalink.
self assert: (ReflectivityExamples>>#exampleWithArg:) class = ReflectiveMethod.
self assert: (tag isNil).
instance := ReflectivityExamples new .
self assert: ((instance exampleWithArg: 3) = 5).
self assert: (tag = #(3)).
link uninstall. 


I will integrate this fix and then write more tests (e.g. I think there are still problems with an #after on a method that defines temps,
but it will be easy to fix).


This is now in 5.0 340.

Marcus