PP constraint

additional to #1237, targeted at 1.7.x
Here want to add a test that it fails when the stash does *not* match.