always return an AbstractType from inferType
test a different static source mapping