adjustment to type argument inference #763