Tests for type inference with implicit arguments and subtypes.