Partial function type inference with type aliases #SCL-6091 Fixed