具有所有上下文敏感属性的对象需要至少一个非上下文敏感属性,才能进行推理

Problem description

The first createMachine invocation doesn't infer the type parameter correctly (it requires at least one non-context-sensitive property) and hence context and state parameters of entry are not inferred.