Miro Spönemann

@montymxb I don't get the problem. Isn't the type of `ID` in your example above exactly `string`?

Ok so you mean something like this? ``` // Declared type SomeDataType = 'a' | 'b' | 'c' SomeDataType returns SomeDataType: 'a' | 'b' | 'c'; ``` ``` // Inferred...

`inject` is already taken: https://www.npmjs.com/package/inject Maybe a variation like `ginject`?

Maybe this can be integrated with #362.

Note: We should avoid adding dependencies to the base package for these utilities. Would it be an option to offer some utilities in `langium-cli` so it can be used as...

Duplicate of #174?

With the solution you proposed, we would have to repeat the `cardinality` property in all three subtypes, so declaring it in the supertype is not necessary. I'd propose to change...

> we have to manually lift the children properties, and thus we go back to necessity to implement an algorithm that lifts properties. @pluralia I think now I understood what...

The missing validation error affects an inferred type, but for those types our handling of properties is rather lax anyway (see also https://github.com/langium/langium/issues/562#issuecomment-1169798215). We get to the same situation with...

We could change all services to return something like `ServiceResult`: ```typescript export type ServiceResult = T | Promise ``` And pass the cancellation token as parameter, either directly or inside...