fix CCE for abbreviates types in type constraints