You could add a comment:

    # Regression test for #16137