Fix #21295: Restrict provablyDisjoint
with Nothing
s in invariant …
#948
lts-backport.yaml
on: push
add-to-backporting-project
37s