Relational field access without inclusion should error

[RobertCraigie]

Problem

The if branch block will never be ran, this should be caught by a type checker as it is a logical error.

As this is not possible to represent with standard python types this will need to be a supported type checker only feature.

user = await client.user.find_unique(where={'id': 'abc'})
if user.posts is not None:  # this should error when static type checking
  print(user.posts[0])

user = await client.user.find_unique(where={'id': 'abc'}, include={'posts': True})
if user.posts is not None:  # this is now valid
  print(user.posts[0])

However the following situation must still pass, this might make it very difficult (or impossible) to implement.

from prisma.models import User

def display_user_info(user: User) -> None:
  print(user.id)
  if user.posts is not None:
    print('posts: ' + ', '.join(post.id for post in user.posts))

user = await client.user.find_unique(where={'id': 'abc'})
display_user_info(user)

[RobertCraigie]

Closing this as it has been deemed impossible due to the aforementioned situation.

I do not want to introduce a change that would result in false positive type errors.