fix #1158 bug in coverage analysis for intersections + type parameters