Simplify ClassHierarchyWalker::find_witness_anywhere() which iterates over class hierarchy under context class searching for witnesses.
-
Vladimir Ivanov
-
Vladimir Ivanov
- Votes:
-
0 Vote for this issue
- Watchers:
-
4 Start watching this issue
- Created:
- Updated:
- Resolved: