improve type arg resolution for this one case
this test won't run anymore
rename anonymous#x to anon$x
consider anon$x in addition to anonymous#x