#4448: Another case of SpecConstr not specialising
--+-
Reporter: rl | Owner:
Type: bug | Status: closed
Priority: normal
#4448: Another case of SpecConstr not specialising
--+-
Reporter: rl | Owner:
Type: bug | Status: closed
Priority: normal
#4448: Another case of SpecConstr not specialising
-+--
Reporter: rl|Owner:
Type: bug | Status: new
Priority: normal
#4448: Another case of SpecConstr not specialising
-+--
Reporter: rl|Owner:
Type: bug | Status: new
Priority: normal
#4448: Another case of SpecConstr not specialising
-+--
Reporter: rl|Owner:
Type: bug | Status: new
Priority: normal
