additional test
test for type arg inference for qualifying types
implement type arg inference for qualifying types #527