Are there some cases where the generator override passed to st/check will not actually be the generator used? I seem to be hitting a case like this. I do see this note in the docstring for s/gen "Note that parent generator (in the spec or overrides map) will supersede those of any subtrees." I'm not sure if this is relevant here. It's also not totally clear what "parent generator" means in this case.

I believe there are some cases where this doesn't work. the note is talking about recursive cases I think

iirc one common issue in this area is with aliased specs

Aliased specs?

i.e., (s/def ::parent ::child) ?

yeah

Yep, this is definitely an aliased spec

Guessing this fix will be to use the alias.

Not exactly a fit but I think it'll work in my case.

fwiw, my usage here is really a workaround to selecting which (deeply nested) keys are required for a test 🙂