from_model throws ResolutionFailed for models with user-specified autoincrement id fields about hypothesis

[Zac-HD]

It's been five years since I looked into that, but iirc the idea was to avoid automatically generating values for auto-incrementing index fields. If you want that to be generated anyway, you can pass e.g. id_=... - the field name, and literal ... as the argument.

If that does in fact solve your problem, I'd prefer to keep the existing behavior because being too 'helpful' has gone wrong here in the past.

[rascalking]

Sorry, I did a bad job explaining. I actually have the opposite problem...I want hypothesis to not generate a strategy for my id column, but I don't think I can do that. Because I defined the autoid column myself, instead of letting django do it, the "is this a field I should skip" check fails (because field.auto_created is false, where it's true when django creates the field), and from_model() calls from_field() to generate a strategy for it.

A simplified version of the model:

class Group(models.Model):
    groupid = models.AutoField(primary_key=True)

[Zac-HD]

Oh, I see - yeah, this seems like something I'd be happy to accept a PR for. I guess we could do something like and not (field.auto_created or isinstance(field, AutoField))? You're more familiar with Django and this use-case than I am, though.

[rascalking]

This was a fun one...it turns out auto_created gets set on a bunch of things I didn't realize, so yay for learning new things while trying to fix a different thing.

The cleanest fix seemed to me to be to add in a and not isinstance(field, dm.AutoField) clause alongside the and not field.auto_created.

[tybug]

closed by #3984