Closed
Description
In the exhaustivity check, when decomposing a type path.B[Int, String], we get two child classes C1 and C1. The problem is how to turn the two classes into proper types related to path, Int and String?
Current implementation resorts to some ad-hoc hack which is not well-grounded. The correct way to solve the problem is to use type inference, as suggested by Martin.