id Summary Status Owner Type Priority Component 197 Generated constructor calls copy ctor twice on tuple elements new defect major cfa-cc 222 Empty parameter list in nested forall clause generates unused parameter new defect major cfa-cc 227 Interpretation of assertions with struct declaration new defect major cfa-cc 229 Incorrect implementation of casting to monomorphic new defect major cfa-cc 267 Expression candidate elimination with unsatisfiable assertion new defect major cfa-cc 268 Downcasting against type parameter failed new defect major cfa-cc 231 Cannot print tuple literal containing 0 or 1 new defect minor cfa-cc