[Bug]: Loaded type does not catch missing population types when Collection is in `populate` array about mikro-orm HOT 7 CLOSED

Nope, without using the Ref wrapper, there is no difference between a populated and not populated relation property (on type level), without that the assignability cannot work properly - its not about comparing the populate hint, its about assignability of what the Loaded type resolves.

from mikro-orm.

It would be technically possible to make this work without the Ref wrapper, but it would be quite a breaking change. It's not just about the assignability of the Loaded type itself in explicit hints, it would affect the assignability of relations in general.

Maybe something to think about when I start thinking about v7 (next year+).

from mikro-orm.

You need to use the Ref wrapper on the M:1 properties, otherwise this cannot work.

from mikro-orm.

Alright, glad to know that's the issue. I figured that was likely the case, as it was resolved as soon as I added the Ref attribute. That being said, the types still don't match so therefore it should throw an error, no? Because it errors as expected if you only add the non-ref M:1 relations into the populate array, but as soon as you add the posts collection in there, it seems to resolve fine.

from mikro-orm.

Well I have a lot of refactoring to do it seems given we did not use the Ref property in the beginning...

from mikro-orm.

Not sure if it's worth it, tbh. It's kind of in the name: Type-Safe relations :P

from mikro-orm.

On second thought, it would be nice to have relations loaded via populate and it affects the returned value, where any omitted values from the populate array is simply omitted from the returned entity type not unlike Prisma. That would possibly eliminate the need for the Ref type in its entirety. It would be a fundamental change however, but what are your thoughts on that? Possibly a means to do so would require that every entity extends BaseEntity at least to some degree to pick up that it is an entity type. The Ref type could be then be relegated to only situations of lazy-loading (possibly renamed to Lazy or something).

from mikro-orm.