I suspect that this may not be a bug. The platform behaviour is designed to prevent platform objects from overlapping objects with the solid behaviour, while the collision check checks for an overlap between two objects' collision polygons. So, if there's no overlap (platform behaviour doing its job) then there will be no collision...