Add failing test for #4076

Failing test for #4076, which hilights what seems to be a slightly different but related issue