SpecConstr infinite specialisation: test for #5550