3 changes to implicit search

1. Shadowing tree uses adaptation funProto of prototype. Previously many shadowing tries failed with errors like "need to follow with "_" to adapt to function". These early failures hid potential shadowing conflicts.

2. Shadowing conflict testing is now done using symbols instead of comparing references. Comparing references gave false negative when a shadoing tree had inferred type parameters, for instance. There were other problems as well. Generally, comparsing references seems too fragile.

3. Inferred views are now re-adapted. This is necessary if the view itself takes another implicit parameter.

0 files changed, 0 insertions, 0 deletions