Files
swift-mirror/lib/Sema/ConstraintGraph.cpp
Joe Pamer 50749dfcd0 Re-enable contractions for parameter binding constraints between identical type variables.
In these cases, we should just go ahead and remove the redundant constraints:
- They don't help us derive a solution for the system
- Not doing so might leave "dangling" constraints that will make the system unsolvable
2016-01-22 17:06:22 -08:00

42 KiB